Lawrence C Paulson

2PUBLICATIONS
1CO-AUTHORS
Data structures and algorithmsComputational logic and formal languages
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Feb 18, 2020
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL.

Wenda Li, Lawrence C Paulson

|Mar 07, 2018
Computational logic: its origins and applications.

Lawrence C Paulson

Pageof 1

Frequent Collaborators