The following pages link to (Q3749040):
Displayed 28 items.
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- On the expressive power of temporal logic for infinite words (Q805240) (← links)
- Theoretical foundations of handling large substitution sets in temporal integrity monitoring (Q914364) (← links)
- Transformation of dynamic integrity constraints into transaction specifications (Q915441) (← links)
- On the interpretability of arithmetic in temporal logic (Q915718) (← links)
- A complete axiomatic characterization of first-order temporal logic of linear time (Q1102941) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Completing the temporal picture (Q1176248) (← links)
- Specification and design of shared resource arbitration (Q1186094) (← links)
- Axiomatizing fixpoint logics (Q1190508) (← links)
- Querying datalog programs with temporal logic (Q1323325) (← links)
- Completeness of a first-order temporal logic with time-gaps (Q1350524) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Order-sorted model theory for temporal executable specifications (Q1391744) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- Algebra and theory of order-deterministic pomsets (Q1815430) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- Reasoning about time in the situation calculus (Q1924726) (← links)
- On strictly arithmetical completeness in logics of programs (Q2277248) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
- A Labeled Natural Deduction System for a Fragment of CTL * (Q3605539) (← links)
- TTL : a formalism to describe local and global properties of distributed systems (Q3992090) (← links)
- Decidability and incompleteness results for first-order temporal logics of linear time (Q4275689) (← links)
- A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time (Q4275691) (← links)
- Handling database updates in two-dimensional temporal logic (Q4275692) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)