Publication
(All)

Results 1-1 of 1 (Search time: 0.008 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
11990Tutorial on Rewrite-Based Theorem ProvingHsiang J.; Jouannaud Jean-PierreProceedings of the 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27