The following pages link to Jose Gaintzarain (Q352971):
Displayed 4 items.
- Invariant-free clausal temporal resolution (Q352974) (← links)
- Translating propositional extended conjunctions of Horn clauses into Boolean circuits (Q964389) (← links)
- Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
- Logical foundations for more expressive declarative temporal logic programming languages (Q2946717) (← links)