DMCA

lolliCoP -- A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic (2001)

by Joshua S. Hodas , Naoyuki Tamura
Venue:PROCEEDINGS OF IJCAR: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING, NUMBER 2083 IN LNCS
Citations:3 - 0 self