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

Research output: Book/Report › Report › Research

@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",

}

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 -

Publication status	Published - Jul 1999
Externally published	Yes

Cite this