Orderings for Equational Proofs
収録刊行物
-
- Proc. Sympo. on Logic in Computer Science
-
Proc. Sympo. on Logic in Computer Science 346-357, 1986
Proc. Sympo. on Logic in Computer Science 346-357, 1986