Back to search
Church-Rosser theorems for replacement systems
Data up to Jan 2025
Published1975
Citations34
References6
Total Citations Per Year
Abstract
References (6)
Tree-Manipulating Systems and Church-Rosser Theorems
1973 • 359 citations
An Abstract form of the church-rosser theorem. I
1969 • 37 citations
Some extensional term models for combinatory logics and lambda - calculi
1971 • 34 citations
An abstract Church-Rosser theorem. II: Applications
1974 • 30 citations
An Abstract form of the church-rosser theorem. I
1970 • 27 citations
Ein algebraischer Beweis für das Church-Rosser-Theorem
1972 • 5 citations
Cited By (0)
Loading...