scientific article
From MaRDI portal
Publication:3767334
zbMath0631.03026MaRDI QIDQ3767334
Publication date: 1984
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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
On the expressive power of temporal logic ⋮ On Shuffle Ideals ⋮ On the expressive power of temporal logic for infinite words
This page was built for publication:
