scientific article; zbMATH DE number 1512622
From MaRDI portal
Publication:4508307
zbMath0961.68107MaRDI QIDQ4508307
Publication date: 3 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10)
Related Items
On Boolean closed full trios and rational Kripke frames ⋮ The synthesis of Petri nets from path-automatic specifications ⋮ Linearly bounded infinite graphs ⋮ On the transition graphs of Turing machines. ⋮ Automata-based Representations for Infinite Graphs ⋮ Traces of term-automatic graphs ⋮ Chain-Free String Constraints ⋮ Unnamed Item ⋮ Families of automata characterizing context-sensitive languages ⋮ Unnamed Item ⋮ Model Checking FO(R) over One-Counter Processes and beyond
