Axiomatising tree-interpretable structures
Blumensath, Achim
New York, NY / Springer (2004) [Fachzeitschriftenartikel]
Theory of computing systems
Band: 37
Ausgabe: 1
Seite(n): 3-27
Identifikationsnummern
- DOI: 10.1007/s00224-003-1104-8
- REPORT NUMBER: RWTH-CONV-063703