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
The Bridge Between Regular Cost Functions and Omega-Regular Languages - MaRDI portal

The Bridge Between Regular Cost Functions and Omega-Regular Languages

From MaRDI portal

Publication:4598268

Jump to:navigation, search

DOI10.4230/LIPIcs.ICALP.2016.126zbMath1388.68162OpenAlexW2534023833MaRDI QIDQ4598268

Thomas Colcombet, Nathanaël Fijalkow

Publication date: 19 December 2017

Full work available at URL: https://hal.archives-ouvertes.fr/hal-03410681

zbMATH Keywords

automata with counters cost-automata determinisation of automata quantitative extensions of automata theory of regular cost functions

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (3)

The Theory of Universal Graphs for Infinite Duration Games ⋮ Quantifying Bounds in Strategy Logic ⋮ Guarded Ontology-Mediated Queries

This page was built for publication: The Bridge Between Regular Cost Functions and Omega-Regular Languages

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