Polymorphism and Unification of Cyclic Terms: Note on unification of terms

Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

Standard

Polymorphism and Unification of Cyclic Terms : Note on unification of terms. / Elsman, Martin.

1999.

Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

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

Elsman, Martin. / Polymorphism and Unification of Cyclic Terms : Note on unification of terms. 1999.

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