Pages that link to "Item:Q3794172"
From MaRDI portal
The following pages link to Decidability, Recursive Enumerability and Kleene Hierarchy ForL-Subsets (Q3794172):
Displaying 20 items.
- Decidability, partial decidability and sharpness relation for L-subsets (Q1102954) (← links)
- The word problem for Smullyan's lark combinator is decidable (Q1114668) (← links)
- Fuzzy subsets: A constructive approach (Q1192476) (← links)
- Inferences in probability logic (Q1342214) (← links)
- Fuzzy refutations for probability and multivalued logics (Q1344254) (← links)
- Approximating approximate reasoning: fuzzy sets and the Ershov hierarchy (Q2148810) (← links)
- Simple permutations: Decidability and unavoidable substructures (Q2474234) (← links)
- KBOs, ordinals, subrecursive hierarchies and all that (Q2987062) (← links)
- FUZZY RECURSION, RET'S, AND ISOLS (Q3317096) (← links)
- (Q3549468) (← links)
- (Q3693521) (← links)
- Recursively EnumerableL-Sets (Q3728890) (← links)
- The decidable properties of subrecursive functions (Q4598249) (← links)
- PARADIGM, FORMAL PROPERTIES AND LIMITS OF FUZZY LOGIC (Q4895004) (← links)
- (Q5227519) (← links)
- Decidability results for sets with atoms (Q5277749) (← links)
- Effectiveness and multivalued logics (Q5477627) (← links)
- Fundamentals of Computation Theory (Q5492918) (← links)
- On reduction of the decision problem of recursively enumerable sets to the separability problem (Q5582335) (← links)
- Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements (Q6165553) (← links)