Two Results in Term Rewriting Theorem Proving
Resource
Rewriting Techniques and Applications, p.310-324
Journal
Rewriting Techniques and Applications
Pages
310-324
Date Issued
1985-12
Date
1985-12
Author(s)
Goos, G.
Hartmanis, J.
Barstow, D.
Brauer, W.
Hansen, P. Brinch
Gries, D.
Luckham, D.
Moler, C.
Pnueli, A.
Seegmüller, G.
Stoer, J.
Wirth, N.
Publisher
Springer-Verlag
Type
conference paper