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 (22)
- Weighted Muller tree automata and weighted logics
- ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
- Weighted versus Probabilistic Logics
- Weighted recognizability over infinite alphabets
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Title not available (Why is that?)
- Weighted automata and logics on infinite graphs
- Weighted automata and weighted logics
- Title not available (Why is that?)
- A Weighted μ-Calculus on Words
- Weighted automata and logics on graphs
- Weighted variable automata over infinite alphabets
- Weighted Automata and Weighted Logics on Infinite Words
- Deterministic automata and extensions of weak MSO
- Chains and Superchains for ω-Rational Sets, Automata and Semigroups
- A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem
- Weighted Automata, Formal Power Series and Weighted Logic
- Weight assignment logic
- Automata, Languages and Programming
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Weighted automata and logics for infinite nested words
- The inclusion problem for weighted automata on infinite trees
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)
