List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| An ordinal calculus for proving termination in term rewriting Trees in Algebra and Programming — CAAP '96 | 2023-02-23 | Paper |
| Strictly orthogonal left linear rewrite systems and primitive recursion Annals of Pure and Applied Logic | 2001-07-02 | Paper |
| Ordinal recursive bounds for Higman's theorem Theoretical Computer Science | 1998-08-13 | Paper |
| Term rewriting theory for the primitive recursive functions Annals of Pure and Applied Logic | 1997-09-29 | Paper |
| scientific article; zbMATH DE number 432704 (Why is no real title available?) | 1993-11-11 | Paper |
| The slow-growing and the Graegorczyk hierarchies Journal of Symbolic Logic | 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
