MARIA LUISA
NAVARRO GOMEZ
Researcher in the period 1990-2019
FRANCISCA
LUCIO CARRASCO
Researcher in the period 1995-2022
Publications by the researcher in collaboration with FRANCISCA LUCIO CARRASCO (6)
2013
-
Invariant-free clausal temporal resolution
Journal of Automated Reasoning, Vol. 50, Núm. 1, pp. 1-49
2010
-
Translating propositional extended conjunctions of Horn clauses into Boolean circuits
Theoretical Computer Science, Vol. 411, Núm. 16-18, pp. 1723-1733
2009
-
Dual Systems of Tableaux and Sequents for PLTL
Journal of Logic and Algebraic Programming, Vol. 78, Núm. 8, pp. 701-722
2008
-
Systematic Semantic Tableaux for PLTL
Electronic Notes in Theoretical Computer Science, Vol. 206, Núm. C, pp. 59-73
2007
-
A cut-free and invariant-free sequent calculus for PLTL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1999
-
A strong logic programming view for static embedded implications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)