Josep Maria Font

Publication Activity (10 Years)

Years Active: 1986-2017
Publications (10 Years): 4

Top Topics

Proof Procedures

Classical Logic

Algebraic Operators

Top Venues

J. Log. Comput.

Publications