scientific article; zbMATH DE number 2208070
From MaRDI portal
Publication:5693581
zbMath1087.68049MaRDI QIDQ5693581
Publication date: 26 September 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Canonical finite models of Kleene algebra with tests ⋮ Concurrent Kleene algebra with tests and branching automata ⋮ Deciding Synchronous Kleene Algebra with Derivatives ⋮ Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests ⋮ A model of context-dependent component connectors ⋮ The Böhm–Jacopini Theorem Is False, Propositionally ⋮ Equational Theories of Abnormal Termination Based on Kleene Algebra ⋮ On the Coalgebraic Theory of Kleene Algebra with Tests ⋮ Fixing Zeno gaps ⋮ A coalgebraic approach to Kleene algebra with tests ⋮ Synchronous Kleene algebra ⋮ A Bialgebraic Approach to Automata and Formal Language Theory ⋮ Deciding Kleene algebra terms equivalence in Coq