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
On the size of disjunctive formulas in the \(\mu\)-calculus - MaRDI portal

On the size of disjunctive formulas in the \(\mu\)-calculus

From MaRDI portal

Publication:6649531

Jump to:navigation, search

DOI10.4204/eptcs.346.19WikidataQ113691876 ScholiaQ113691876MaRDI QIDQ6649531

Johannes Marti, Yde Venema, Clemens Kupke

Publication date: 6 December 2024

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)

This page was built for publication: On the size of disjunctive formulas in the \(\mu\)-calculus

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