A program inverter for a functional language with equality and constructors

40 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Programming Languages and Systems
Redaktører	Atsushi Ohori
Vol/bind	2895
Forlag	Springer Verlag
Publikationsdato	2003
Sider	246-264
DOI	https://doi.org/10.1007/978-3-540-40018-9_17
Status	Udgivet - 2003

Adgang til dokumentet

@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",

}