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
Fragments of Fixpoint Logic on Data Words - MaRDI portal

Fragments of Fixpoint Logic on Data Words

From MaRDI portal

Publication:5278313

Jump to:navigation, search

DOI10.4230/LIPIcs.FSTTCS.2015.98zbMath1366.03210OpenAlexW2276861712MaRDI QIDQ5278313

Amaldev Manuel, Thomas Colcombet

Publication date: 13 July 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2015.html#ColcombetM15

zbMATH Keywords

data automata data words fixpoint logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)

This page was built for publication: Fragments of Fixpoint Logic on Data Words

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