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
Generic partition refinement and weighted tree automata - MaRDI portal

Generic partition refinement and weighted tree automata

From MaRDI portal

Publication:6535955

Jump to:navigation, search

DOI10.1007/978-3-030-30942-8_18zbMath1539.68156MaRDI QIDQ6535955

Stefan Milius, Thorsten Wißmann, Lutz Schröder, Hans-Peter Deifel

Publication date: 14 March 2024

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Generic partition refinement and weighted tree automata

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