- On the poset structure of npotent right ideal commutative
- Logical Basis for the Automation of Reasoning: Case Larry Wos, Robert Veroff, and Gail W. Pieper
- Finding Shortest Proofs: An Application of Linked Inference Rules
- A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke
- ON THE EQUATIONAL DEFINABILITY OF BROUWER-ZADEH LATTICES
- Logical Basis for the Automation of Reasoning: Case Studies 1 Larry Wos, Robert Veroff, and Gail W. Pieper
- On the assertional logic of the generic doublepointed
- Axiom Systems for Boolean Algebra Using the She er Stroke
- YET ANOTHER SINGLE LAW FOR LATTICES WILLIAM MCCUNE, R. PADMANABHAN, AND ROBERT VEROFF
- The Application of Automated Reasoning to Formal Models of
- Computer Science Department University of New Mexico
- Strategy and Results Application
- Hints and Proof Sketches (Review and Update)
- Solving Open Questions and Other Challenge Problems Using Proof Sketches
- Short Equational Bases for Ortholattices R. Padmanabhan
- Automated Discovery of Single Axioms for Ortholattices W. McCune, R. Padmanabhan, M. A. Rose, and R. Veroff
- Double-Negation Elimination in Some Propositional Michael Beeson
- Solution to a Challenge Problem in HBCK Robert Veroff
- Short Single Axioms for Boolean Algebra William McCune
- YET ANOTHER SINGLE LAW FOR LATTICES WILLIAM MCCUNE, R. PADMANABHAN, AND ROBERT VEROFF
- Journal of Computational Biology, in press, March 2004. A Bayesian Network Classification Methodology
- JOURNAL OF COMPUTATIONAL BIOLOGY Volume 11, Number 4, 2004
- Levi's Commutator Theorems for Cancellative Semigroups
- Countermodels Zachary Ernst
- Jordan Loops Using Prover9/Mace4 to understand Jordan Loops
- Introduction Purely 1st order problems More interesting problem Most interesting problem Conclusions Using automated reasoning in universal algebra
- Proof Sketches Discussion Robert Veroff
- IS H(BCK) FINITELY BASED? A BCK-algebra is an algebra A; , 0 of type 2, 0 satisfying the
- FOUR PROBLEMS IN THE EQUATIONAL THEORY OF n-POTENT BCK-ALGEBRAS
- Syntax of the Finite Model Property Zachary Ernst
- COMMUTATIVE A-LOOPS II: THE AUTOMATED DEDUCTION SIDE COMMUTATIVE A-LOOPS II: THE AUTOMATED
- The Moufang Laws, Global and Local
- Two Problems about Transversals in Multiplication Tables
- Notre Dame Journal of Formal Logic Two Axioms for Implication Algebras
- A Short Sheffer Axiom for Boolean Algebra Robert Veroff \Lambda
- DoubleNegation Elimination in Some Propositional Logics
- Double-Negation Elimination in Some Propositional Logics
- ON A HOMOMORPHISM PROPERTY OF HOOPS ROBERT VEROFF AND MATTHEW SPINKS
- Solution to a Challenge Problem in HBCK Robert Veroff
- A Shortest 2Basis for Boolean Algebra in Terms of the Sheffer Stroke
- Short 2-Bases for Boolean Algebra in Terms of the She er Stroke Robert Vero
- Axiomatizing the Skew Boolean Propositional Calculus University of New Mexico
- Banff International Research Station Dedicated to the memory of Bill McCune
- Automated Deduction and its Application to Mathematics R. Padmanabhan (University of Manitoba), Robert Veroff (University of New Mexico)