Lawrence C. Paulson

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 80

Top Topics

Variable Ordering

Theorem Proving

Equivalence Class

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications