Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The First-Order Theory of Ground Tree Rewrite Graphs - MaRDI portal

The First-Order Theory of Ground Tree Rewrite Graphs

From MaRDI portal

Publication:5404472

Jump to:navigation, search

DOI10.2168/LMCS-10(1:7)2014zbMath1325.68121MaRDI QIDQ5404472

Markus Lohrey, Stefan Göller

Publication date: 24 March 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ground tree rewriting alternating complexity classes complexity of first-order theories

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05) Complexity of computation (including implicit computational complexity) (03D15) Grammars and rewriting systems (68Q42) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (1)

First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5404472&oldid=20142197"