@inproceedings{DBLP:conf/aplas/GluckK03,
author = {Robert Gl{\"u}ck and
Masahiko Kawabe},
title = {A Program Inverter for a Functional Language with Equality
and Constructors},
booktitle = {APLAS},
year = {2003},
pages = {246-264},
ee = {http://dx.doi.org/10.1007/978-3-540-40018-9_17},
crossref = {DBLP:conf/aplas/2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aplas/2003,
editor = {Atsushi Ohori},
title = {Programming Languages and Systems, First Asian Symposium,
APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings},
booktitle = {APLAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2895},
year = {2003},
isbn = {3-540-20536-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
