Axiomatising tree-interpretable structures
Blumensath, Achim
New York, NY : Springer (2004)
Fachzeitschriftenartikel
In: Theory of computing systems
Band: 37
Heft: 1
Seite(n)/Artikel-Nr.: 3-27
Identifikationsnummern
- DOI: 10.1007/s00224-003-1104-8
- RWTH PUBLICATIONS: RWTH-CONV-063703