Controlling conjunctive partial deduction

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Programming Languages: Implementations, Logics and Programs
Editors	Herbert Kuchen, S. Doaitse Swierstra
Publisher	Springer Verlag
Publication date	1996
Pages	152-166
DOIs	https://doi.org/10.1007/3-540-61756-6_83
Publication status	Published - 1996

Series	Lecture notes in computer science
Volume	1140
ISSN	0302-9743

ID: 177361442

Department of Computer Science