DMCA

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:5 - 0 self