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

Institutions

• Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
• Department of Mathematics [110000]