The universal resolving algorithm: inverse computation in a functional language
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
The universal resolving algorithm: inverse computation in a functional language. / Abramov, Sergei M.; Glück, Robert.
Mathematics of Program Construction. ed. / Roland Backhouse; José Nuno Oliveira. Vol. 1837 2000. p. 187-212 (Lecture notes in computer science, Vol. 1837).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Abramov, SM & Glück, R 2000, The universal resolving algorithm: inverse computation in a functional language. in R Backhouse & JN Oliveira (eds), Mathematics of Program Construction. vol. 1837, Lecture notes in computer science, vol. 1837, pp. 187-212, Mathematics of Program Construction, 29/11/2010.
APA
Abramov, S. M., & Glück, R. (2000). The universal resolving algorithm: inverse computation in a functional language. In R. Backhouse, & J. N. Oliveira (Eds.), Mathematics of Program Construction (Vol. 1837, pp. 187-212). Lecture notes in computer science Vol. 1837
Vancouver
Abramov SM, Glück R. The universal resolving algorithm: inverse computation in a functional language. In Backhouse R, Oliveira JN, editors, Mathematics of Program Construction. Vol. 1837. 2000. p. 187-212. (Lecture notes in computer science, Vol. 1837).
Author
Bibtex
@inproceedings{943bc100b8bc11debc73000ea68e967b,
title = "The universal resolving algorithm: inverse computation in a functional language",
author = "Abramov, {Sergei M.} and Robert Gl{\"u}ck",
year = "2000",
language = "English",
volume = "1837",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "187--212",
editor = "Roland Backhouse and Oliveira, {Jos{\'e} Nuno}",
booktitle = "Mathematics of Program Construction",
note = "null ; Conference date: 29-11-2010",
}
RIS
TY - GEN
T1 - The universal resolving algorithm: inverse computation in a functional language
AU - Abramov, Sergei M.
AU - Glück, Robert
PY - 2000
Y1 - 2000
M3 - Article in proceedings
VL - 1837
T3 - Lecture notes in computer science
SP - 187
EP - 212
BT - Mathematics of Program Construction
A2 - Backhouse, Roland
A2 - Oliveira, José Nuno
Y2 - 29 November 2010
ER -
ID: 15121330