Fuzzy alternating automata over distributive lattices
type: Item
instance of: scholarly article
title: Fuzzy alternating automata over distributive lattices
zbMATH Open document ID: 1436.68190
author: Xiujuan Wei
author: Yongming Li
published in: Information Sciences
publication date: 2020-07-16T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7221850
zbMATH Keywords: fuzzy alternating automata
zbMATH Keywords: fuzzy positive Boolean formulas
zbMATH Keywords: alternating automata
zbMATH Keywords: distributive lattices
MaRDI profile type: Publication
full work available at URL: j.ins.2017.10.015
OpenAlex ID: W2761350507
Wikidata QID: Q62038052
cites work: Q4091421
cites work: Max and Sum Semantics for Alternating Weighted Automata
cites work: Determinism and fuzzy automata
cites work: Alternation
cites work: Alternating Weighted Automata
cites work: Nondeterministic fuzzy automata
cites work: The complexity of theorem-proving procedures
cites work: Q4530231
cites work: Q5592246
cites work: Q3862379
cites work: Q3687716
cites work: Reducibility among Combinatorial Problems
cites work: Lattice Automata
cites work: An automata-theoretic approach to branching-time model checking
cites work: Weak alternating automata are not that weak
cites work: Quantitative model checking of linear-time properties based on generalized possibility measures
cites work: Model checking of linear-time properties in multi-valued systems
cites work: Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
cites work: Minimization of lattice finite automata and its application to the decomposition of lattice languages
cites work: Quantitative Analysis of Lattice-valued Kripke Structures
DOI: 10.1016/J.INS.2017.10.015
description: scientific article; zbMATH DE number 7221850