Semirings, automata, languages
Semirings, automata, languages
Rational series and their languages
Rational series and their languages
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Semirings and formal power series: their relevance to formal languages and automata
Handbook of formal languages, vol. 1
Model-checking infinite state-space systems with fine-grained abstractions using SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Automata, Languages, and Machines
Automata, Languages, and Machines
Automata: Theoretic Aspects of Formal Power Series
Automata: Theoretic Aspects of Formal Power Series
Automata theory based on quantum logic: some characterizations
Information and Computation
A theory of computation based on quantum logic (I)
Theoretical Computer Science
Weighted tree automata and weighted logics
Theoretical Computer Science
Weighted automata and weighted logics
Theoretical Computer Science
Automata theory based on quantum logic: Reversibilities and pushdown automata
Theoretical Computer Science
Multi-Valued MSO Logics OverWords and Trees
Fundamenta Informaticae
Weighted Distributed Systems and Their Logics
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Weighted Logics for Nested Words and Algebraic Formal Power Series
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Weighted versus Probabilistic Logics
DLT '09 Proceedings of the 13th International Conference on Developments in Language Theory
DLT '09 Proceedings of the 13th International Conference on Developments in Language Theory
Expressiveness and Closure Properties for Quantitative Languages
LICS '09 Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science
Weighted finite automata over strong bimonoids
Information Sciences: an International Journal
Handbook of Weighted Automata
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Definable transductions and weighted logics for texts
DLT'07 Proceedings of the 11th international conference on Developments in language theory
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Weighted Logics for Unranked Tree Automata
Theory of Computing Systems
Weighted Picture Automata and Weighted Logics
Theory of Computing Systems
Weighted muller tree automata and weighted logics
Journal of Automata, Languages and Combinatorics
Deductive multi-valued model checking
ICLP'05 Proceedings of the 21st international conference on Logic Programming
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Weighted automata and weighted logics on infinite words
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Determinization of weighted finite automata over strong bimonoids
Information Sciences: an International Journal
Describing average- and longtime-behavior by weighted MSO logics
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
An improved algorithm for determinization of weighted and fuzzy automata
Information Sciences: an International Journal
Regular expressions on average and in the long run
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Models for quantitative distributed systems and multi-valued logics
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Bisimulations for fuzzy automata
Fuzzy Sets and Systems
Weighted automata and multi-valued logics over arbitrary bounded lattices
Theoretical Computer Science
Weighted tree automata over valuation monoids and their characterization by weighted logics
Algebraic Foundations in Computer Science
Valuations of weighted automata: doing it in a rational way
Algebraic Foundations in Computer Science
Construction of fuzzy automata from fuzzy regular expressions
Fuzzy Sets and Systems
A Kleene-Schützenberger Theorem for Trace Series over Bounded Lattices
Fundamenta Informaticae - Non-Classical Models of Automata and Applications II
Fuzzy relation equations and subsystems of fuzzy transition systems
Knowledge-Based Systems
| Hi-index | 0.00 |
We show that L-weighted automata, L-rational series, and L-valued monadic second-order logic have the same expressive power, for any bounded lattice L and for finite and infinite words. This extends classical results of Kleene and Büchi to arbitrary bounded lattices, without any distributivity assumption that is fundamental in the theory of weighted automata over semirings. In fact, we obtain these results for large classes of strong bimonoids which properly contain all bounded lattices.