Controlling conjunctive partial deduction

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

30 Citationer (Scopus)
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

Citationsformater