Publikationsansicht

Roel de Vrijer 2 (2007)

Abstract

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.25.9968
Quelle	http://www.score.is.tsukuba.ac.jp/~ami/research/papers/ipl94.ps.gz
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	Key Words and Phrases, theory of computation, term rewriting systems
Typ	text
Sprache	Englisch