Pages that link to "Item:Q3474286"
From MaRDI portal
The following pages link to Nonclausal deduction in first-order temporal logic (Q3474286):
Displayed 7 items.
- Programming in metric temporal logic (Q1128978) (← links)
- The power of the ``always'' operator in first-order temporal logic (Q1350527) (← links)
- Embedding complex decision procedures inside an interactive theorem prover. (Q1353946) (← links)
- Structured proof procedures (Q1924823) (← links)
- Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems (Q4032915) (← links)
- Decidability and incompleteness results for first-order temporal logics of linear time (Q4275689) (← links)
- Removing irrelevant information in temporal resolution proofs (Q4421286) (← links)