Login / Signup

Tree Automata Make Ordinal Theory Easy.

Thierry Cachat
Published in: Algorithmic-Logical Theory of Infinite Structures (2007)
Keyphrases