scientific article; zbMATH DE number 512867
From MaRDI portal
Publication:4281564
zbMath0799.68140MaRDI QIDQ4281564
Publication date: 10 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Automata for epistemic temporal logic with synchronous communication ⋮ Probabilistic asynchronous automata ⋮ Determinizing asynchronous automata ⋮ On the complementation of Büchi asynchronous cellular automata ⋮ Logical definability on infinite traces ⋮ An extension of Kleene's and Ochmański's theorems to infinite traces
This page was built for publication: