Pages that link to "Item:Q5221851"
From MaRDI portal
The following pages link to Non-Deterministic Inductive Definitions and Fullness (Q5221851):
Displaying 6 items.
- Computational inductive definability (Q598276) (← links)
- Nonstandard definability (Q913793) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Equivalents of the finitary non-deterministic inductive definitions (Q2311215) (← links)
- On the complexity of inductive definitions (Q3422019) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)