An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving (2006)

Cached

Download Links

by Tobias Schmidt-samoa
Venue:Proc. Calculemus 2005: 12 th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
Citations:6 - 1 self