scientific article
From MaRDI portal
Publication:3536079
zbMath1157.03016MaRDI QIDQ3536079
Werner Kuich, Manfred Droste, George Rahonis
Publication date: 17 November 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items (14)
Weighted Automata and Weighted Logics ⋮ Temporal Specifications with Accumulative Values ⋮ Modelling Uncertainty in Architectures of Parametric Component-Based Systems ⋮ Fuzzy Propositional Configuration Logics ⋮ Weighted propositional configuration logic over De Morgan algebras ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ Weighted Linear Dynamic Logic ⋮ Unnamed Item ⋮ The complexity of computing the behaviour of lattice automata on infinite trees ⋮ Automata-based axiom pinpointing ⋮ Model checking of linear-time properties in multi-valued systems ⋮ A Weighted μ-Calculus on Words ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices ⋮ Measuring and Synthesizing Systems in Probabilistic Environments
This page was built for publication:
