The following pages link to A note on Trillas' CHC models (Q1028906):
Displaying 18 items.
- Weak bisimulations for fuzzy automata (Q279375) (← links)
- Bisimulations for fuzzy automata (Q423147) (← links)
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
- Automata theory based on complete residuated lattice-valued logic: Turing machines (Q690917) (← links)
- On the reducibility of hypotheses and consequences (Q845308) (← links)
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization (Q983034) (← links)
- Consequences and conjectures in preordered sets (Q991897) (← links)
- Automata theory based on complete residuated lattice-valued logic: Pushdown automata (Q1037929) (← links)
- Pumping Lemma in context-free grammar theory based on complete residuated lattice-valued logic (Q1037930) (← links)
- Automata theory based on complete residuated lattice-valued logic: a categorical approach (Q1040923) (← links)
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency (Q1043325) (← links)
- Characterizations of complete residuated lattice-valued finite tree automata (Q1759726) (← links)
- A comment on ``Automata theory based on complete residuated lattice-valued logic: pushdown automata'' (Q1759734) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- Algebraic properties of complete residuated lattice valued tree automata (Q2392561) (← links)
- Determinization of fuzzy automata with membership values in complete residuated lattices (Q2465969) (← links)
- On Conjectures in t-Norm Based Fuzzy Logics (Q2974677) (← links)
