Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Decidability of MSO Theories of Tree Structures

Decidability of MSO Theories of Tree Structures

Angelo Montanari and Gabriele Puppis

Journal
FSTTCS'04: Proceedings of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science
Year
2004

Links

See Also

Back to Top