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 - MaRDI portal

scientific article

From MaRDI portal

Publication:4029611

Jump to:navigation, search

zbMath0759.03011MaRDI QIDQ4029611

Wolfgang Thomas

Publication date: 28 March 1993

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

zbMATH Keywords

semigroup liveness safety model theory formal language propositional temporal logic omega-languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Semigroups in automata theory, linguistics, etc. (20M35) Logic with extra quantifiers and operators (03C80)

Related Items (3)

A first-order logic characterization of safety and co-safety languages ⋮ A first-order logic characterisation of safety and co-safety languages ⋮ On the expressive power of temporal logic for infinite words

This page was built for publication:

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