The following pages link to (Q4733441):
Displaying 6 items.
- Temporal logic programming (Q582280) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Abstract minimality and circumscription (Q1193477) (← links)
- The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic (Q1209339) (← links)
- An infinitary encoding of temporal equilibrium logic (Q4593006) (← links)
- Multi-modal logic programming using equational and order-sorted logic (Q5096187) (← links)
