Juan Antonio Navarro Pérez

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 1

Top Topics

Modulo Theories

Deductive Reasoning

Propositional Logic

Top Venues

Soc. Netw. Anal. Min.

Programming Logics

Publications