dblp.uni-trier.dewww.uni-trier.de

Branden Fitelson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
12EEBranden Fitelson: Introduction. Studia Logica 86(2): 147-148 (2007)
11EEBranden Fitelson: Introduction. Studia Logica 86(3): 351-352 (2007)
10EEBranden Fitelson: Likelihoodism, Bayesianism, and relational confirmation. Synthese 156(3): 473-489 (2007)
2002
9EELarry 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)
8EELarry 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

Coauthor Index

1Zachary Ernst [5]
2Andrew Feist [7]
3Kenneth Harris [4] [5] [7]
4William McCune [7]
5Dolph Ulrich [6] [8] [9]
6Robert Veroff [7]
7Larry Wos [1] [2] [3] [5] [6] [7] [8] [9]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)