Tutorial on Rewrite-Based Theorem Proving

Resource

Proceedings of the 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, pp.684, 1990

Journal

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

Pages

68-4

Date Issued

1990

Date

1990

Author(s)

Hsiang J.

Jouannaud Jean-Pierre

URI

Type

conference paper