Global Control for Partial Deduction through Characteristic Atoms and Global Trees
Leuschel, M. and Martens, B. (1996) Global Control for Partial Deduction through Characteristic Atoms and Global Trees. Proc. Partial Evaluation: Dagstuhl-Seminar-Report 134 IBFI GmbH, Schloϐ Dagstuhl, 26.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Address: Schlo\ss\ Dagstuhl, Germany |
| ISSNs: | 0940-1121 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 250607 |
| Date Deposited: | 14 Jun 1999 |
| Last Modified: | 02 Mar 2012 14:01 |
| Contributors: | Leuschel, M. (Author) Martens, B. (Author) Danvy, O. (Editor) Glück, R. (Editor) Thiemann, P. (Editor) |
| Date: | 1996 |
| Additional Information: | Address: Schlo\ss\ Dagstuhl, Germany |
| Status: | Published |
| Publisher: | IBFI GmbH, Schloϐ Dagstuhl |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/250607 |
Actions (login required)
 |
View Item |
