Joxe Gaintzarain

Orcid: 0000-0001-9768-9964

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Logical foundations for more expressive declarative temporal logic programming languages.
ACM Trans. Comput. Log., 2013

Invariant-Free Clausal Temporal Resolution.
J. Autom. Reason., 2013

Invariant-Free Deduction Systems for Temporal Logic.
Bull. EATCS, 2013

2010
Translating propositional extended conjunctions of Horn clauses into Boolean circuits.
Theor. Comput. Sci., 2010

2009
Dual Systems of Tableaux and Sequents for PLTL.
J. Log. Algebraic Methods Program., 2009

2007
Systematic Semantic Tableaux for PLTL.
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

A Cut-Free and Invariant-Free Sequent Calculus for PLTL.
Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2005
Goals in the Propositional Horn Language Are Monotone Boolean Circuits.
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005


  Loading...