E. A. Cichon

Available identifiers

zbMath Open cichon.e-aMaRDI QIDQ186024

List of research outcomes

Publication	Date of Publication	Type
An ordinal calculus for proving termination in term rewriting	2023-02-23	Paper
Strictly orthogonal left linear rewrite systems and primitive recursion	2001-07-02	Paper
Ordinal recursive bounds for Higman's theorem	1998-08-13	Paper
Term rewriting theory for the primitive recursive functions	1997-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q3138831	1993-11-11	Paper
The slow-growing and the Graegorczyk hierarchies	1983-01-01	Paper
A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods	1983-01-01	Paper

Research outcomes over time

This page was built for person: E. A. Cichon