Term Rewriting Theorem Proving for Equality
Resource
Proceedings of the Workshop in Combinatorial Algorithms in Algebraic Structures
Journal
Workshop in Combinatorial Algorithms in Algebraic Structures
Pages
-
Date Issued
1987-05
Author(s)
Type
conference paper