deutsch
english
Publikationsansicht
42839648
b (2007)
Jan A. Bergstra
,
Alban Ponse
Abstract
a;b
Details der Publikation
Download
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.32.9217
Quelle
http://www.science.uva.nl/~alban/Proj/unit.ps
Mitarbeiter
CiteSeerX
Archiv
CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords
Contents
Typ
text
Sprache
Englisch