An algorithm of generalization in positive supercompilation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Titel | Logic Programming: Proceedings of the 1995 International Symposium |
Redaktører | John W. Lloyd |
Forlag | MIT Press |
Publikationsdato | 1995 |
Sider | 465-479 |
ISBN (Trykt) | 0-262-62099-5 |
Status | Udgivet - 1995 |
ID: 177366370