DMCA

Embedding deduction modulo into a prover (2010)

Cached

Download Links

by Guillaume Burel
Venue:CSL. Lecture Notes in Computer Science
Citations:6 - 1 self