Weighted automata and weighted logics on infinite words
From MaRDI portal
(Redirected from Publication:845080)
Recommendations
Cites work
- scientific article; zbMATH DE number 1696660 (Why is no real title available?)
- scientific article; zbMATH DE number 438994 (Why is no real title available?)
- scientific article; zbMATH DE number 5141497 (Why is no real title available?)
- scientific article; zbMATH DE number 5141498 (Why is no real title available?)
- scientific article; zbMATH DE number 41838 (Why is no real title available?)
- scientific article; zbMATH DE number 3588051 (Why is no real title available?)
- scientific article; zbMATH DE number 734956 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- scientific article; zbMATH DE number 233974 (Why is no real title available?)
- Decision Problems of Finite Automata Design and Related Arithmetics
- Finite Automata Computing Real Functions
- Fuzzy -automata
- Fuzzy regular languages over finite and infinite words
- Infinite fuzzy computations
- ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
- On iteration semiring-semimodule pairs.
- On the definition of a family of automata
- Skew and infinitary formal power series
- The design principles of a weighted finite-state transducer library
- Weak Second‐Order Arithmetic and Finite Automata
- Weighted Automata and Weighted Logics on Infinite Words
- Weighted Logics for Traces
- Weighted automata and weighted logics
- Weighted tree automata and weighted logics
Cited in
(24)- Weighted Muller tree automata and weighted logics
- Integer weighted automata on infinite words
- 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
- Weighted recognizability over infinite alphabets
- scientific article; zbMATH DE number 2040326 (Why is no real title available?)
- Weighted automata and logics on infinite graphs
- Weighted automata and weighted logics
- Weighted automata and weighted logics
- scientific article; zbMATH DE number 7561720 (Why is no real title available?)
- A Weighted μ-Calculus on Words
- A translation of weighted LTL formulas to weighted Büchi automata over \(\omega\)-valuation monoids
- 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
- 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)
