Oxford University

or Find Staff here

Results for University of Oxford

Results 1 - 1 of 1 for consthen .

Sort by date, Sort by relevance.

Results

1. LNCS 1703 - Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving

e = STE ckt ant consthen we can introduce the following axiom in HOL:. (

www.cs.ox.ac.uk/tom.melham/pub/Aagaard-1999-XTE.pdf- 271k - 2 Jun 2003 - Cached

Result Page

1 , .




Enquiries to Webmaster | Powered by Funnelback Search