# Branden Fitelson

According to our database

Collaborative distances:

^{1}, Branden Fitelson authored at least 21 papers between 2000 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2017

Synth., 2017

2013

Proceedings of the Automated Reasoning and Mathematics, 2013

2012

Synth., 2012

CoRR, 2012

Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012

2010

J. Philos. Log., 2010

2008

Rev. Symb. Log., 2008

J. Philos. Log., 2008

2007

Synth., 2007

Stud Logica, 2007

J. Philos. Log., 2007

2002

Notre Dame J. Formal Log., 2002

Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.

J. Autom. Reason., 2002

J. Autom. Reason., 2002

XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus

CoRR, 2002

Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus

CoRR, 2002

2001

Stud Logica, 2001

J. Philos. Log., 2001

J. Autom. Reason., 2001

J. Autom. Reason., 2001

2000

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000