Regular ArticleA Characterization of Weakly Church–Rosser Abstract Reduction Systems That Are Not Church–Rosser☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
Research partially supported by Murst 40% Tosca Project.
Copyright © 2001 Elsevier Science (USA). All rights reserved.