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
Modularizing the Elimination of r=0 in Kleene Algebra - MaRDI portal

Modularizing the Elimination of r=0 in Kleene Algebra

From MaRDI portal

Publication:5310647

Jump to:navigation, search

DOI10.2168/LMCS-1(3:4)2005zbMath1125.03048OpenAlexW3103771606MaRDI QIDQ5310647

Christopher S. Hardin

Publication date: 11 October 2007

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-1(3:4)2005

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Other algebras related to logic (03G25)

Related Items (2)

On tools for completeness of Kleene algebra with hypotheses ⋮ Deciding Kleene algebra terms equivalence in Coq

This page was built for publication: Modularizing the Elimination of r=0 in Kleene Algebra

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