Theory Is Forever
From MaRDI portal
Publication:5894889
DOI10.1007/b98751zbMath1055.68067MaRDI QIDQ5894889
Publication date: 18 January 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98751
68Q45: Formal languages and automata
Related Items
Unnamed Item, The Triple-Pair Construction for Weighted ω-Pushdown Automata, Algebraic notions of nontermination: Omega and divergence in idempotent semirings, Internal axioms for domain semirings, Complete axiomatizations for XPath fragments, Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata, Non-termination in Idempotent Semirings, Modal Semirings Revisited