Modular proof systems for partial functions with Evans equality (2006)

Cached

Download Links

by Harald Ganzinger , Viorica Sofronie-stokkermans , Uwe Waldmann
Venue:Information and Computation
Citations:23 - 13 self