Jose Gaintzarain

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Dynamic Constraints

Verification Method

Logic Programming

Top Venues

ACM Trans. Comput. Log.

J. Autom. Reason.

Publications

Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
Invariant-Free Clausal Temporal Resolution. J. Autom. Reason. 50 (1) (2013)
Jose Gaintzarain
Invariant-Free Deduction Systems for Temporal Logic. Bull. EATCS 110 (2013)
Jose Gaintzarain, Paqui Lucio
Logical foundations for more expressive declarative temporal logic programming languages. ACM Trans. Comput. Log. 14 (4) (2013)