A program inverter for a functional language with equality and constructors

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original languageEnglish
Title of host publicationProgramming Languages and Systems
EditorsAtsushi Ohori
Volume2895
PublisherSpringer Verlag
Publication date2003
Pages246-264
DOIs
Publication statusPublished - 2003

ID: 177269854