scientific article; zbMATH DE number 5366670
From MaRDI portal
Publication:3536079
zbMATH Open1157.03016MaRDI QIDQ3536079FDOQ3536079
Authors: Manfred Droste, W. Kuich, George Rahonis 
Publication date: 17 November 2008
Title of this publication is not available (Why is that?)
Recommendations
- Multi-valued semantics for logic programs
- Multiple-Valued Logic Trees: Meaning and Prime Implicants
- Multi-weighted automata and MSO logic
- Multi-weighted automata and MSO logic
- scientific article; zbMATH DE number 1269582
- scientific article; zbMATH DE number 1076964
- Characterizing weighted MSO for trees by branching transitive closure logics
- scientific article; zbMATH DE number 1943845
- Many-valued computational logics
- Multi-valued stable semantics for logic programs
Formal languages and automata (68Q45) Many-valued logic (03B50) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Cited In (14)
- Fuzzy Propositional Configuration Logics
- Model checking of linear-time properties in multi-valued systems
- Measuring and Synthesizing Systems in Probabilistic Environments
- Weighted Linear Dynamic Logic
- A Weighted μ-Calculus on Words
- Modelling Uncertainty in Architectures of Parametric Component-Based Systems
- Temporal Specifications with Accumulative Values
- Automata-based axiom pinpointing
- Reasoning about Quality and Fuzziness of Strategic Behaviors
- Weighted Automata and Weighted Logics
- Weighted propositional configuration logic over De Morgan algebras
- Title not available (Why is that?)
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- The complexity of computing the behaviour of lattice automata on infinite trees
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3536079)
