Branden Fitelson
According to our database1,
Branden Fitelson
authored at least 21 papers
between 2000 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
2013
Proceedings of the Automated Reasoning and Mathematics, 2013
2012
Synth., 2012
Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012
2010
2008
Rev. Symb. Log., 2008
2007
2002
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.
J. Autom. Reason., 2002
CoRR, 2002
Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
CoRR, 2002
2001
J. Philos. Log., 2001
J. Autom. Reason., 2001
2000
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000