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
Completeness theorems for Kleene algebra with top - MaRDI portal

Completeness theorems for Kleene algebra with top

From MaRDI portal

Publication:6587134

Jump to:navigation, search

DOI10.4230/LIPICS.CONCUR.2022.26MaRDI QIDQ6587134

Jana Wagemaker, Damien Pous

Publication date: 13 August 2024

zbMATH Keywords

completeness Kleene algebra hypotheses closed languages

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Completeness theorems for Kleene algebra with tests and top ⋮ On tools for completeness of Kleene algebra with hypotheses

This page was built for publication: Completeness theorems for Kleene algebra with top

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587134)

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