Controlling conjunctive partial deduction
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Titel | Programming Languages: Implementations, Logics and Programs |
Redaktører | Herbert Kuchen, S. Doaitse Swierstra |
Forlag | Springer Verlag |
Publikationsdato | 1996 |
Sider | 152-166 |
DOI | |
Status | Udgivet - 1996 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 1140 |
ISSN | 0302-9743 |
ID: 177361442