FRANCISCA
LUCIO CARRASCO
Investigador/a en el periodo 1995-2022
Fernando
Orejas Valdés
Publicaciones en las que colabora con Fernando Orejas Valdés (9)
2013
-
Invariant-free clausal temporal resolution
Journal of Automated Reasoning, Vol. 50, Núm. 1, pp. 1-49
2009
-
Dual Systems of Tableaux and Sequents for PLTL
Journal of Logic and Algebraic Programming, Vol. 78, Núm. 8, pp. 701-722
2008
-
A functorial framework for constraint normal logic programming
Applied Categorical Structures, Vol. 16, Núm. 3, pp. 421-450
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)
-
Preface
Electronic Notes in Theoretical Computer Science
2006
-
A functrial framework for constraint normal logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages
Journal of Universal Computer Science
2004
-
Constructive negation by bottom-up computation of literal answers
Proceedings of the ACM Symposium on Applied Computing
1999
-
Algebraic framework for the definition of compositional semantics of normal logic programs
Journal of Logic Programming, Vol. 40, Núm. 1, pp. 89-123