| 2007 |
|---|
| 12 | EE | Branden Fitelson:
Introduction.
Studia Logica 86(2): 147-148 (2007) |
| 11 | EE | Branden Fitelson:
Introduction.
Studia Logica 86(3): 351-352 (2007) |
| 10 | EE | Branden Fitelson:
Likelihoodism, Bayesianism, and relational confirmation.
Synthese 156(3): 473-489 (2007) |
| 2002 |
|---|
| 9 | EE | Larry Wos,
Dolph Ulrich,
Branden Fitelson:
Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
CoRR cs.LO/0211014: (2002) |
| 8 | EE | Larry Wos,
Dolph Ulrich,
Branden Fitelson:
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
CoRR cs.LO/0211015: (2002) |
| 7 | | William McCune,
Robert Veroff,
Branden Fitelson,
Kenneth Harris,
Andrew Feist,
Larry Wos:
Short Single Axioms for Boolean Algebra.
J. Autom. Reasoning 29(1): 1-16 (2002) |
| 6 | | Larry Wos,
Dolph Ulrich,
Branden Fitelson:
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.
J. Autom. Reasoning 29(2): 107-124 (2002) |
| 5 | | Zachary Ernst,
Branden Fitelson,
Kenneth Harris,
Larry Wos:
Shortest Axiomatizations of Implicational S4 and S5.
Notre Dame Journal of Formal Logic 43(3): 169-179 (2002) |
| 2001 |
|---|
| 4 | | Kenneth Harris,
Branden Fitelson:
Distributivity in [Lstrok][aleph]0 and Other Sentential Logics.
J. Autom. Reasoning 27(2): 141-156 (2001) |
| 3 | | Branden Fitelson,
Larry Wos:
Missing Proofs Found.
J. Autom. Reasoning 27(2): 201-225 (2001) |
| 2 | | Branden Fitelson,
Larry Wos:
Finding Missing Proofs with Automated Reasoning.
Studia Logica 68(3): 329-356 (2001) |
| 2000 |
|---|
| 1 | | Larry Wos,
Branden Fitelson:
Automating the Search for Answers to Open Questions.
TPHOLs 2000: 519-525 |
