Kahlil Hodgson

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

Kahlil Hodgson, John K. Slaney
TPTP, CASC and the development of a semantically guided theorem prover. AI Commun. 15 (2-3) (2002)
Kahlil Hodgson, John K. Slaney
System Description: SCOTT-5. IJCAR (2001)
Kahlil Hodgson
Shortest Single Axioms for the Equivalential Calculus with CD and RCD. J. Autom. Reason. 20 (3) (1998)