A program inverter for a functional language with equality and constructors
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Titel | Programming Languages and Systems |
Redaktører | Atsushi Ohori |
Vol/bind | 2895 |
Forlag | Springer Verlag |
Publikationsdato | 2003 |
Sider | 246-264 |
DOI | |
Status | Udgivet - 2003 |
ID: 177269854