The following pages link to Paqui Lucio (Q352972):
Displayed 22 items.
- Invariant-free clausal temporal resolution (Q352974) (← links)
- (Q934673) (redirect page) (← links)
- A functorial framework for constraint normal logic programming (Q934677) (← links)
- Translating propositional extended conjunctions of Horn clauses into Boolean circuits (Q964389) (← links)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) (Q1989347) (← links)
- Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models (Q2095426) (← links)
- (Q2850664) (← links)
- (Q2871847) (← links)
- Logical foundations for more expressive declarative temporal logic programming languages (Q2946717) (← links)
- A Cut-Free and Invariant-Free Sequent Calculus for PLTL (Q3608433) (← links)
- (Q4518866) (← links)
- An algebraic framework for the definition of compositional semantics of normal logic programs (Q4700444) (← links)
- Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach (Q5079769) (← links)
- Automatic white-box testing of first-order logic ontologies (Q5213392) (← links)
- An Assertional Proof of the Stability and Correctness of Natural Mergesort (Q5277907) (← links)
- An Algorithm for Local Variable Elimination in Normal Logic Programs (Q5302880) (← links)
- A Generalization of the Folding Rule for the Clark-Kunen Semantics (Q5458436) (← links)
- A Functorial Framework for Constraint Normal Logic Programming (Q5757919) (← links)
- Foundations of Information and Knowledge Systems (Q5898535) (← links)
- One-pass Context-based Tableaux Systems for CTL and ECTL (Q6060101) (← links)
- Tableaux for realizability of safety specifications (Q6174549) (← links)