Rob Arthan

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 9

Top Topics

Predicate Logic

Theorem Proving

Semantics For Logic Programs

Algebraic Structures

Top Venues

J. Autom. Reason.

J. Formaliz. Reason.

Publications