Model-Checking Parse Trees

DOI10.1109/LICS.2013.21zbMath1366.68165arXiv1211.5256MaRDI QIDQ5271052

Sylvain Schmitz, Anudhyan Boral

Publication date: 3 July 2017

Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.5256

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization

This page was built for publication: Model-Checking Parse Trees