Andrew Pond

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 1

Top Topics

Finding Relevant

Automatic Theorem Proving

Top Venues

Publications

Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
Proof Relevant Corecursive Resolution. FLOPS (2016)
Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
Proof Relevant Corecursive Resolution. CoRR (2015)