Weighted automata and weighted logics on infinite words
From MaRDI portal
Publication:845080
DOI10.3103/S1066369X10010044zbMATH Open1184.68314MaRDI QIDQ845080FDOQ845080
Authors: Manfred Droste, George Rahonis
Publication date: 5 February 2010
Published in: Russian Mathematics (Search for Journal in Brave)
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the definition of a family of automata
- Title not available (Why is that?)
- Weak Second‐Order Arithmetic and Finite Automata
- Decision Problems of Finite Automata Design and Related Arithmetics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On iteration semiring-semimodule pairs.
- Finite Automata Computing Real Functions
- Fuzzy \(\omega\)-automata
- Weighted automata and weighted logics
- Weighted Automata and Weighted Logics on Infinite Words
- Weighted tree automata and weighted logics
- Weighted Logics for Traces
- Fuzzy regular languages over finite and infinite words
- Title not available (Why is that?)
- Title not available (Why is that?)
- The design principles of a weighted finite-state transducer library
- Title not available (Why is that?)
- Skew and infinitary formal power series
- Infinite fuzzy computations
- ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
Cited In (13)
- Weighted Muller tree automata and weighted logics
- ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
- Weighted versus Probabilistic Logics
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Title not available (Why is that?)
- Weighted automata and weighted logics
- Title not available (Why is that?)
- A Weighted μ-Calculus on Words
- Weighted Automata and Weighted Logics on Infinite Words
- Chains and Superchains for ω-Rational Sets, Automata and Semigroups
- Weighted Automata, Formal Power Series and Weighted Logic
- Automata, Languages and Programming
- Weighted automata and logics for infinite nested words
This page was built for publication: Weighted automata and weighted logics on infinite words
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q845080)