ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
From MaRDI portal
Publication:5297785
DOI10.1142/S0218196707003585zbMath1120.68066MaRDI QIDQ5297785
Ulrike Püschmann, Manfred Droste
Publication date: 13 July 2007
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Formal languages and automata (68Q45) Ordered rings, algebras, modules (06F25) Ordered rings (13J25)
Related Items (6)
Weighted automata and weighted logics on infinite words ⋮ WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS ⋮ Schützenberger's theorem on formal power series follows from Kleene's theorem ⋮ Regular Expressions on Average and in the Long Run ⋮ A Weighted μ-Calculus on Words ⋮ Valuations of Weighted Automata: Doing It in a Rational Way
Cites Work
This page was built for publication: ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS