scientific article; zbMATH DE number 7439737
From MaRDI portal
Publication:5015275
zbMath1478.03065arXiv1609.04094MaRDI QIDQ5015275
George Rahonis, Manfred Droste
Publication date: 7 December 2021
Full work available at URL: https://arxiv.org/abs/1609.04094
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on the commutative closure of star-free languages
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Handbook of weighted automata
- Asynchronous cellular automata for pomsets
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Weighted automata and weighted logics
- On weighted first-order logics with discounting
- On iteration semiring-semimodule pairs.
- Weighted First-Order Logics over Semirings
- Quantitative languages
- Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification
- Formally Reasoning About Quality
- Averaging in LTL
- WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS
- On the definition of a family of automata
- On a Theorem of R. Jungen
- A Weighted μ-Calculus on Words
- Finite Automata
- Weighted Automata and Weighted Logics
- Fuzzy Languages
- Lattice Automata
- Discounting in LTL
- Alternation-free weighted mu-calculus: decidability and completeness
This page was built for publication:
