DMCA

Reasoning with inductively defined relations in the HOL theorem prover (1992)

Cached

Download Links

by Juanito Camilleri , Tom Melham
Citations:46 - 0 self