The following pages link to E. A. Cichon (Q186024):
Displaying 7 items.
- Term rewriting theory for the primitive recursive functions (Q674412) (← links)
- Ordinal recursive bounds for Higman's theorem (Q1129003) (← links)
- (Q3138831) (← links)
- The slow-growing and the Graegorczyk hierarchies (Q3682477) (← links)
- A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods (Q4750638) (← links)
- An ordinal calculus for proving termination in term rewriting (Q5878912) (← links)
- Strictly orthogonal left linear rewrite systems and primitive recursion (Q5935986) (← links)
