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
scientific article; zbMATH DE number 6790157 - MaRDI portal

scientific article; zbMATH DE number 6790157

From MaRDI portal

Publication:5367059

Jump to:navigation, search

DOI10.23638/LMCS-13(3:20)2017zbMath1459.68125arXiv1606.04680MaRDI QIDQ5367059

Ichiro Hasuo, Natsuki Urabe

Publication date: 12 October 2017

Full work available at URL: https://arxiv.org/abs/1606.04680

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coalgebra probabilistic automaton Büchi automaton tree automaton fair simulation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Related Items (2)

Simulation relations and applications in formal methods ⋮ Categorical Büchi and parity conditions via alternating fixed points of functors

This page was built for publication:

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