Sciweavers

ALP
1992
Springer

On the Relation Between Primitive Recursion, Schematization and Divergence

13 years 7 months ago
On the Relation Between Primitive Recursion, Schematization and Divergence
The paper presents a new schematization of in nite 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.
Miki Hermann
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1992
Where ALP
Authors Miki Hermann
Comments (0)