The following pages link to (Q5317671):
Displayed 8 items.
- Computing power of Turing machines in the framework of unsharp quantum logic (Q496026) (← links)
- Automata theory based on complete residuated lattice-valued logic: Turing machines (Q690917) (← links)
- On the computing power of fuzzy Turing machines (Q835106) (← links)
- Characterizing the super-Turing computing power and efficiency of classical fuzzy Turing machines (Q1434368) (← links)
- Fuzzy Turing machines: normal form and limitative theorems (Q1697984) (← links)
- Approximating approximate reasoning: fuzzy sets and the Ershov hierarchy (Q2148810) (← links)
- Meta-logic programming for a synonymy logic (Q2380338) (← links)
- Closure properties for fuzzy recursively enumerable languages and fuzzy recursive languages (Q5275234) (← links)