A program inverter for a functional language with equality and constructors

40 Citations (Scopus)

Original language	English
Title of host publication	Programming Languages and Systems
Editors	Atsushi Ohori
Volume	2895
Publisher	Springer Verlag
Publication date	2003
Pages	246-264
DOIs	https://doi.org/10.1007/978-3-540-40018-9_17
Publication status	Published - 2003

Access to Document

@inproceedings{e472289c47724c9084c14c5d4c735b70,

title = "A program inverter for a functional language with equality and constructors",

author = "Robert Gl{\"u}ck and Masahiko Kawabe",

year = "2003",

doi = "10.1007/978-3-540-40018-9_17",

language = "English",

volume = "2895",

pages = "246--264",

editor = "Atsushi Ohori",

booktitle = "Programming Languages and Systems",

publisher = "Springer Verlag",

}