scientific article; zbMATH DE number 7770050

MaRDI QIDQ6070602

Orna Kupferman, Ravid Alon

Publication date: 23 November 2023

Full work available at URL: http://www.jalc.de/issues/2023/issue_28_1-3/jalc-2023-005-025.php

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

zbMATH Keywords

automatadecision problemsexpressive powermulti-languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Capacitated automata and systems
• Verification of parametric concurrent systems with prioritised FIFO resource management
• Relationships between nondeterministic and deterministic tape complexities
• Properties and Utilization of Capacitated Automata (Invited Talk)
• TYPENESS FOR ω-REGULAR AUTOMATA