Proof Search and Proof Check for Equational and Inductive Theorems (2003)

Cached

Download Links

by Eric Deplagne , Claude Kirchner , Hélène Kirchner , Quang Huy Nguyen
Venue:Conference on Automated Deduction - CADE-19
Citations:4 - 0 self