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
Characterizing Definability in Decidable Fixpoint Logics - MaRDI portal

Characterizing Definability in Decidable Fixpoint Logics

From MaRDI portal

Publication:5111439

Jump to:navigation, search

DOI10.4230/LIPIcs.ICALP.2017.107zbMath1442.03012OpenAlexW2964052308MaRDI QIDQ5111439

Michael Benedikt, Michael Vanden Boom, Pierre Bourhis

Publication date: 27 May 2020

Full work available at URL: https://hal.inria.fr/hal-01639015

zbMATH Keywords

automata bisimulation definability guarded logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Semiring Provenance for Guarded Logics

This page was built for publication: Characterizing Definability in Decidable Fixpoint Logics

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