Amanote Research
Register
Sign In
The Evaluation Transformer Model of Reduction and Its Correctness
Lecture Notes in Computer Science
- Germany
doi 10.1007/3540539816_81
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
January 1, 1991
Authors
GL Burn
Publisher
Springer Berlin Heidelberg