A program inverter for a functional language with equality and constructors
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
A program inverter for a functional language with equality and constructors. / Glück, Robert; Kawabe, Masahiko.
Programming Languages and Systems. red. / Atsushi Ohori. Bind 2895 Springer Verlag, 2003. s. 246-264.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Glück, R & Kawabe, M 2003, A program inverter for a functional language with equality and constructors. i A Ohori (red.), Programming Languages and Systems. bind 2895, Springer Verlag, s. 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. I A. Ohori (red.), Programming Languages and Systems (Bind 2895, s. 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. I Ohori A, red., Programming Languages and Systems. Bind 2895. Springer Verlag. 2003. s. 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