Model-Checking Parse Trees

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

Anudhyan Boral, Sylvain Schmitz

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

68Q25: Analysis of algorithms and problem complexity

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

68Q42: Grammars and rewriting systems