Publikationsansicht

Vincent van Oostrom z (2007)

Abstract

and translatability of sequential term rewrite systems into the lambda calculus

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.23.3535
Quelle	http://www.mcs.le.ac.uk/~ferjan/Distribution/tr-2001/tr-2001-16.ps.gz
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.26.289, 10.1.1.48.2365