Joxe Gaintzarain

According to our database, Joxe Gaintzarain authored at least 8 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Logical foundations for more expressive declarative temporal logic programming languages.

Jose Gaintzarain, Paqui Lucio

ACM Trans. Comput. Log., 2013

Invariant-Free Clausal Temporal Resolution.

Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

J. Autom. Reason., 2013

Invariant-Free Deduction Systems for Temporal Logic.

Jose Gaintzarain

Bull. EATCS, 2013

2010

Translating propositional extended conjunctions of Horn clauses into Boolean circuits.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro

Theor. Comput. Sci., 2010

2009

Dual Systems of Tableaux and Sequents for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

J. Log. Algebraic Methods Program., 2009

2007

Systematic Semantic Tableaux for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

A Cut-Free and Invariant-Free Sequent Calculus for PLTL.

Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2005

Goals in the Propositional Horn Language Are Monotone Boolean Circuits.

Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005