36 search results - page 8 / 8 » Genealogical trees on the web: a search engine user perspect... |
JUCS
2006
13 years 4 months ago
2006
: 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 ...