Amanote Research
Register
Sign In
Chapter IV: The Confluence Property and the Church-Rosser Property
Lecture Notes in Computer Science
- Germany
doi 10.1007/3-540-08531-9_4
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
January 1, 1977
Authors
Unknown
Publisher
Springer Berlin Heidelberg
