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. Dagstuhl Seminar on Partial Evaluation, LNCS 1110 Springer-Verlag, Berlin, 263-283.
Download
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Address: Schlo{\ss}\ Dagstuhl, Germany |
| ISBNs: | 3540615806 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 250604 |
| Date Deposited: | 14 Jun 1999 |
| Last Modified: | 02 Mar 2012 13:39 |
| 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: | Springer-Verlag, Berlin |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/250604 |
Actions (login required)
![]() |
View Item |


