Controlling conjunctive partial deduction

Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen

30 Citations (Scopus)
Original languageEnglish
Title of host publicationProgramming Languages: Implementations, Logics and Programs
EditorsHerbert Kuchen, S. Doaitse Swierstra
PublisherSpringer Verlag
Publication date1996
Pages152-166
DOIs
Publication statusPublished - 1996
SeriesLecture notes in computer science
Volume1140
ISSN0302-9743

Cite this