Polymorphism and Unification of Cyclic Terms: Note on unification of terms
Research output: Book/Report › Report › Research
Standard
Polymorphism and Unification of Cyclic Terms : Note on unification of terms. / Elsman, Martin.
1999.Research output: Book/Report › Report › Research
Harvard
Elsman, M 1999, Polymorphism and Unification of Cyclic Terms: Note on unification of terms.
APA
Elsman, M. (1999). Polymorphism and Unification of Cyclic Terms: Note on unification of terms.
Vancouver
Elsman M. Polymorphism and Unification of Cyclic Terms: Note on unification of terms. 1999.
Author
Bibtex
@book{79a340496abf4b21996e40796c66a614,
title = "Polymorphism and Unification of Cyclic Terms: Note on unification of terms",
author = "Martin Elsman",
note = "Computer Science Division, University of California, Berkeley. July 1999",
year = "1999",
month = jul,
language = "Dansk",
}
RIS
TY - RPRT
T1 - Polymorphism and Unification of Cyclic Terms
T2 - Note on unification of terms
AU - Elsman, Martin
N1 - Computer Science Division, University of California, Berkeley. July 1999
PY - 1999/7
Y1 - 1999/7
M3 - Rapport
BT - Polymorphism and Unification of Cyclic Terms
ER -
ID: 129628313