Pages that link to "Item:Q3980811"
From MaRDI portal
The following pages link to Superposition bases in classes of recursive functions (Q3980811):
Displaying 8 items.
- Existence of infinite bases with respect to superposition in certain classes of one-place functions (Q920082) (← links)
- Existence of superposition bases in countable primitively recursively closed classes (Q1098839) (← links)
- Bounded prefix concatenation operation and finite bases with respect to the superposition (Q1744291) (← links)
- Modeling multitape Minsky and Turing machines by three-tape Minsky machines (Q2226960) (← links)
- Generating some classes of recursive functions by superpositions of simple arithmetic functions (Q2377524) (← links)
- Plain bases for classes of primitive recursive functions (Q2776813) (← links)
- On the operations of bounded suffix summation and multiplication (Q5374010) (← links)
- (Q5532533) (← links)