Lawrence C. Paulson

1. The Foundation of a Generic Theorem Prover
   2000/10/31 by Lawrence C. Paulson · 1 voice · 3 citations
   #cs.LO
2. Quantified Multimodal Logics in Simple Type Theory
   2009/05/14 by Christoph Benzmueller, Benzmueller, Christoph, Lawrence C. Paulson +1 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.3 #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies
3. Designing a Theorem Prover
   1993/01/31 by Lawrence C. Paulson · 2 voices
   Computer Science · #cs.LO