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
Two-Way Parikh Automata - MaRDI portal

Two-Way Parikh Automata

From MaRDI portal

Publication:5875675

Jump to:navigation, search

DOI10.4230/LIPIcs.FSTTCS.2019.40OpenAlexW2997837886MaRDI QIDQ5875675

Nicolas Mazzocchi, Shibashis Guha, Emmanuel Filiot

Publication date: 3 February 2023

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

zbMATH Keywords

Presburger arithmetic two-way automata Parikh automata

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Related Items

Unboundedness problems for machines with reversal-bounded counters ⋮ Unnamed Item

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