Tutorial on Rewrite-Based Theorem Proving.

Journal

10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings

Pages

684

Date Issued

1990

Author(s)

Hsiang, Jieh

Jouannaud, Jean-Pierre

DOI

URI

URL

Type

conference paper