( en | de | ru )

 

Disambiguation of "Lucio, Paqui"

Author of the publication

copydeleteadd this publication to your clipboard
A Generalization of the Folding Rule for the Clark-Kunen Semantics.

, and . FLOPS, volume 4989 of Lecture Notes in Computer Science, page 180-194. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gonzalo Lucioni

Alice Paquin

Hans Dieter Paquin

Marianna Lucio

Waldemar Paquin

 

Other publications of authors with the same name

A Functorial Framework for Constraint Normal Logic Programming., , , and . Appl. Categorical Struct., 16 (3): 421-450 (2008)Improving the Competency of First-Order Ontologies., , and . K-CAP, page 15:1-15:8. ACM, (2015)Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+., , and . Theor. Comput. Sci., (2020)A New Proposal Of Quasi-Solved Form For Equality Constraint Solving., and . PROLE, volume 206 of Electronic Notes in Theoretical Computer Science, page 23-40. Elsevier, (2007)One-Pass Context-Based Tableaux Systems for CTL and ECTL., , , and . TIME, volume 178 of LIPIcs, page 14:1-14:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Logical foundations for more expressive declarative temporal logic programming languages., and . ACM Trans. Comput. Log., 14 (4): 28:1-28:41 (2013)Verified Model Checking for Conjunctive Positive Logic., , , and . SN Comput. Sci., 2 (5): 344 (2021)An Assertional Proof of the Stability and Correctness of Natural Mergesort., and . ACM Trans. Comput. Log., 17 (1): 6 (2015)A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet., , and . IEEE Access, (2019)A Monotonic Declarative Semantics for Normal Logic Programs., , and . APPIA-GULP-PRODE, page 271-282. (1997)