Axiomatising tree-interpretable structures

Blumensath, Achim (Author)

New York, NY / Springer (2004) [Fachzeitschriftenartikel]

Theory of computing systems
Band: 37
Ausgabe: 1
Seite(n): 3-27