The First-Order Theory of Ground Tree Rewrite Graphs

DOI10.4230/LIPICS.FSTTCS.2011.276zbMath1246.68137arXiv1107.0919OpenAlexW2964091123MaRDI QIDQ2911631

Markus Lohrey, Stefan Göller

Publication date: 31 August 2012

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

zbMATH Keywords

complexityfirst-order theoriesground tree rewriting systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

This page was built for publication: The First-Order Theory of Ground Tree Rewrite Graphs