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
Decidability results in automata and process theory - MaRDI portal

Decidability results in automata and process theory

From MaRDI portal

Publication:6560390

Jump to:navigation, search

DOI10.1007/3-540-60915-6_4zbMath1543.68247WikidataQ59557000 ScholiaQ59557000MaRDI QIDQ6560390

Joram Hirschfeld, Faron Moller

Publication date: 21 June 2024

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

This page was built for publication: Decidability results in automata and process theory

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