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
Alternating automata modulo first order theories - MaRDI portal

Alternating automata modulo first order theories

From MaRDI portal

Publication:6154872

Jump to:navigation, search

DOI10.1007/978-3-030-25543-5_3MaRDI QIDQ6154872

Radu Iosif, Xiao Xu

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

This page was built for publication: Alternating automata modulo first order theories

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