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
Standard
A program inverter for a functional language with equality and constructors. / Glück, Robert; Kawabe, Masahiko.
Programming Languages and Systems. ed. / Atsushi Ohori. Vol. 2895 Springer Verlag, 2003. p. 246-264.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Glück, R & Kawabe, M 2003, A program inverter for a functional language with equality and constructors. in A Ohori (ed.), Programming Languages and Systems. vol. 2895, Springer Verlag, pp. 246-264. https://doi.org/10.1007/978-3-540-40018-9_17
APA
Glück, R., & Kawabe, M. (2003). A program inverter for a functional language with equality and constructors. In A. Ohori (Ed.), Programming Languages and Systems (Vol. 2895, pp. 246-264). Springer Verlag. https://doi.org/10.1007/978-3-540-40018-9_17
Vancouver
Glück R, Kawabe M. A program inverter for a functional language with equality and constructors. In Ohori A, editor, Programming Languages and Systems. Vol. 2895. Springer Verlag. 2003. p. 246-264 https://doi.org/10.1007/978-3-540-40018-9_17
Author
Bibtex
@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",
}
RIS
TY - GEN
T1 - A program inverter for a functional language with equality and constructors
AU - Glück, Robert
AU - Kawabe, Masahiko
PY - 2003
Y1 - 2003
U2 - 10.1007/978-3-540-40018-9_17
DO - 10.1007/978-3-540-40018-9_17
M3 - Article in proceedings
VL - 2895
SP - 246
EP - 264
BT - Programming Languages and Systems
A2 - Ohori, Atsushi
PB - Springer Verlag
ER -
ID: 177269854