Sciweavers

6 search results - page 2 / 2
» itp 2006
Sort
View
JUCS
2006
104views more  JUCS 2006»
13 years 6 months ago
Introducing the ITP Tool: a Tutorial
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
Manuel Clavel, Miguel Palomino, Adrián Ries...