Weighted Automata and Logics on Infinite Graphs
From MaRDI portal
Publication:2817384
DOI10.1007/978-3-662-53132-7_13zbMath1436.03214OpenAlexW2488289763MaRDI QIDQ2817384
Publication date: 30 August 2016
Published in: Developments in Language Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-53132-7_13
Related Items
Cites Work
- Weighted automata and logics for infinite nested words
- A Büchi-like theorem for weighted tree automata over multioperator monoids
- Handbook of weighted automata
- Definable transductions and weighted logics for texts
- Weighted tree automata and weighted logics
- Muller message-passing automata and logics
- Monadic second-order definable text languages
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties
- Monadic second-order logic over rectangular pictures and recognizability by tiling systems
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Weighted automata and weighted logics
- Weighted picture automata and weighted logics
- Weighted Automata and Logics on Graphs
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
- Weak Second‐Order Arithmetic and Finite Automata
- On the definition of a family of automata
- Weighted Logics for Traces
- Adding nesting structure to words
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Quantitative Languages
- Weighted Automata and Weighted Logics on Infinite Words
- Weighted versus Probabilistic Logics
- Decision Problems of Finite Automata Design and Related Arithmetics
- Weighted Distributed Systems and Their Logics
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
