The Relation of Equivalence for Post Functions,
Abstract
An equivalence relation for one-variable functions defined on the Post chain P(n) has been introduced by Wojcik and by Wojcik and Metze. The authors present here several results characterizing the equivalence classes of this relation, giving some insight into its nature and structure. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1972
- Accession Number
- AD0739733
Entities
People
- Ed Ducasse
- Gernot Metze
Organizations
- University of Illinois Urbana–Champaign