Characterization of Logics over Ranked Tree Languages

Thomas Place. Characterization of Logics over Ranked Tree Languages. In Michael Kaminski, Simone Martini, editors, Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings. Volume 5213 of Lecture Notes in Computer Science, pages 401-415, Springer, 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.