A program inverter for a functional language with equality and constructors

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelProgramming Languages and Systems
RedaktørerAtsushi Ohori
Vol/bind2895
ForlagSpringer Verlag
Publikationsdato2003
Sider246-264
DOI
StatusUdgivet - 2003

ID: 177269854