Pages that link to "Item:Q5596775"

The following pages link to ÜBER DIE ELIMINIERBARKEIT VON DEFINITIONSSCHEMATA IN DER THEORIE DER REKURSIVEN FUNKTIONEN (Q5596775):

Displayed 10 items.

• On quasi-universal word functions (Q290002) ‎ (← links)
• Existence of superposition bases in countable primitively recursively closed classes (Q1098839) ‎ (← links)
• Existence of superposition bases in countable primitive-recursively closed classes of one-place functions (Q1149945) ‎ (← links)
• A superposition basis in the class of Kalmar elementary functions (Q1163014) ‎ (← links)
• A machine description and the hierarchy of initial Grzegorczyk classes (Q1168308) ‎ (← links)
• Elementary realizability (Q1362589) ‎ (← links)
• Bounded prefix concatenation operation and finite bases with respect to the superposition (Q1744291) ‎ (← links)
• Elimination of recursion schemas in the Grzegorczyk \(\mathcal{E}^2\) class (Q2536525) ‎ (← links)
• Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie (Q5672874) ‎ (← links)
• Operation of bound prefix concatenation and finite superposition bases (Q6043893) ‎ (← links)