Ivy: A Preprocessor And Proof Checker For First-Order Logic (1999)

Cached

Download Links

by William Mccune , Olga Shumsky
Citations:29 - 10 self

Active Bibliography

1 MACE 2.0 Reference Manual and Guide by – William Mccune - 2001
4 System Description: IVY – William Mccune, Olga Shumsky - 2000
22 Automatic Proofs and Counterexamples for Some Ortholattice Identities – William Mccune - 1998
130 Solution of the Robbins Problem – William Mccune - 1997
1 www.elsevier.com/locate/entcs Reducing Symmetries to Generate Easier SAT Instances 1 – Jian Zhang, Zhuo Huang
5 Finite Model Building: Improvements and Comparisons – Tanel Tammet - 2003
Organizations in Action – Jaap Kamps - 1999
Reducing Uncertainty: A Formal Theory of – Organizations In Action, Jaap Kamps
4 Framework and Tool Support for Formal Verification of High Speed Transfer Protocol Designs – Peter Herrmann, Heiko Krumm - 2002
1 Automated Equational Deduction with Otter – William Mccune, R. Padmanabhan - 1995
1 Proof and refutation in formal software development – Juan C. Bicarregui, Brian M. Matthews - 1999
6 Formal Theory Building Using Automated Reasoning Tools – Jaap Kamps - 1998
4 Reducing uncertainty: A formal theory of Organizations in Action – Jaap Kamps, László Pólos - 1999
4 On criteria for formal theory building: Applying logic and automated reasoning tools to the social sciences – Jaap Kamps - 1999
THE UBIQUITY OF BACKGROUND KNOWLEDGE – Jaap Kamps - 2005
3 Quasigroups, Loops, and Associative Laws – Kenneth Kunen - 1995
23 Automated Theorem Proving in Software Engineering – Johann Schumann
21 Computing finite models by reduction to function-free clause logic – Peter Baumgartner, Alexander Fuchs, Hans De Nivelle, Cesare Tinelli - 2007
and Other Sentential Logics – Kenneth Harris, En Fitelson - 2000