Kahlil Hodgson

According to our database¹, Kahlil Hodgson authored at least 3 papers between 1998 and 2002.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2002

TPTP, CASC and the development of a semantically guided theorem prover.

[BibT_eX]

[DOI]

AI Commun., 2002

2001

System Description: SCOTT-5.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

1998

Shortest Single Axioms for the Equivalential Calculus with CD and RCD.

[BibT_eX]

[DOI]

J. Autom. Reason., 1998