Pages that link to "Item:Q1701899"
From MaRDI portal
The following pages link to Coding tree languages based on lattice-valued logic (Q1701899):
Displaying 9 items.
- Computation tree measurement language (CTML) (Q1798671) (← links)
- On characterization of fuzzy tree pushdown automata (Q2001163) (← links)
- Lattice-valued tree pushdown automata: pumping lemma and closure properties (Q2076992) (← links)
- Characterization of tree automata based on quantum logic (Q2113952) (← links)
- Decidability of the minimization of fuzzy tree automata with membership values in complete lattices (Q2143812) (← links)
- Graded Computation Tree Logic with Binary Coding (Q3586038) (← links)
- State hyperstructures of tree automata based on lattice-valued logic (Q4553830) (← links)
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS (Q4626611) (← links)
- (Q5368011) (← links)