On the Relation Between Primitive Recursion, Schematization, and Divergence (1992)
| Venue: | Proceeding 3rd Conference on Algebraic and Logic Programming, Volterra (Italy), volume 632 of Lecture Notes in Computer Science |
| Citations: | 7 - 2 self |
BibTeX
@INPROCEEDINGS{Hermann92onthe,
author = {Miki Hermann},
title = {On the Relation Between Primitive Recursion, Schematization, and Divergence},
booktitle = {Proceeding 3rd Conference on Algebraic and Logic Programming, Volterra (Italy), volume 632 of Lecture Notes in Computer Science},
year = {1992},
pages = {115--127},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The paper presents a new schematization of infinite families of terms called the primal grammars, based on the notion of primitive recursive rewrite systems. This schematization is presented by a generating term and a canonical rewrite system. It is proved that the class of primal grammars covers completely the class of crossed rewrite systems. This proof contains a construction of a primal grammar from a crossed rewrite system.
