Axiomatising tree-interpretable structures

Blumensath, Achim

New York, NY : Springer (2004)
Journal Article

In: Theory of computing systems
Volume: 37
Issue: 1
Page(s)/Article-Nr.: 3-27