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
Algorithmic complexity for theories of commutative Kleene algebras - MaRDI portal

Algorithmic complexity for theories of commutative Kleene algebras

From MaRDI portal

Publication:6492397

Jump to:navigation, search

DOI10.4213/im9480eMaRDI QIDQ6492397

Stepan Kuznetsov

Publication date: 25 April 2024

Published in: Izvestiya: Mathematics (Search for Journal in Brave)

zbMATH Keywords

algorithmic complexity infinitary logic Kleene algebras

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other infinitary logic (03C75)

This page was built for publication: Algorithmic complexity for theories of commutative Kleene algebras

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