Controlling conjunctive partial deduction

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

OriginalsprogEngelsk
TitelProgramming Languages: Implementations, Logics and Programs
RedaktørerHerbert Kuchen, S. Doaitse Swierstra
ForlagSpringer Verlag
Publikationsdato1996
Sider152-166
DOI
StatusUdgivet - 1996
NavnLecture notes in computer science
Vol/bind1140
ISSN0302-9743

ID: 177361442