Searching for authors named "Robert Veroff" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Short 2-Bases for Boolean Algebra in Terms of the Sheffer Stroke
- …Short 2-Bases for Boolean Algebra in Terms of the Sheer Stroke Robert Vero Computer Science…
- Cited by 4 (2 self) – Add To MetaCart
-
Solving Open Questions and Other Challenge Problems Using Proof Sketches
- … Publishers. Printed in the Netherlands. sketch.tex; 20/11/2000; 23:51; p.1 2 ROBERT VEROFF of the \x 3 = x…
- Cited by 15 (11 self) – Add To MetaCart
-
Axiom Systems for Boolean Algebra Using the Sheffer Stroke
- …Axiom Systems for Boolean Algebra Using the Sheer Stroke Robert Vero Computer Science Department…
- Cited by 3 (2 self) – Add To MetaCart
-
Finding Shortest Proofs: An Application of Linked Inference Rules
- …. Printed in the Netherlands. shortest.tex; 20/11/2000; 23:49; p.1 2 ROBERT VEROFF condensed detachment…
- Cited by 3 (2 self) – Add To MetaCart
-
Reasoning at Multiple Levels of Abstraction
- …Reasoning at Multiple Levels of Abstraction Robert Vero University of New Mexico, U.S.A. veroff…
- Cited by 1 (1 self) – Add To MetaCart
-
A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke
- …A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke Robert Veroff University…
- Cited by 8 (5 self) – Add To MetaCart
-
Yet another single law for lattices
- …YET ANOTHER SINGLE LAW FOR LATTICES WILLIAM MCCUNE, R. PADMANABHAN, AND ROBERT VEROFF Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
The Application of Automated Reasoning to Formal Models of Combinatorial Optimization
- … and Robert Veroff University of New Mexico, Albuquerque, NM, U.S.A. {helman,veroff}@(email omitted); Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
A Short Sheffer Axiom for Boolean Algebra
- … Sheffer Axiom for Boolean Algebra by Robert Veroff and William McCune Mathematics and Computer Science…
- Cited by 2 (0 self) – Add To MetaCart
-
A Short Sheffer Axiom for Boolean Algebra
- …A Short Sheffer Axiom for Boolean Algebra Robert Veroff Computer Science Department University…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
