×

Found 2 Documents (Results 1–2)

Monadic second-order logic and transitive closure logics over trees. (English) Zbl 1262.03050

Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 189-199 (2006).
MSC:  03B65 68Q19 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field