Andrew Cave

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 3

Top Topics

Logical Structure

Theorem Proving

Decision Procedures

Complex Data Types

Top Venues

Math. Struct. Comput. Sci.

Publications