Keyword:monadic second-order logic

Publications
Tree-Verifiable Graph Grammars Mark Chimes, Radu Iosif and Florian Zuleger In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Reasoning About Data Trees Using CHCs Marco Faella and Gennaro Parlato EasyChair Preprint 8615