The following pages link to (Q3806791):
Displaying 26 items.
- A mechanism of function calls in MSVL (Q344760) (← links)
- Game semantics for non-monotonic intensional logic programming (Q345702) (← links)
- A cylinder computation model for many-core parallel computing (Q391222) (← links)
- Temporal logic programming (Q582280) (← links)
- Executable temporal logic systems (Q679342) (← links)
- A practical decision procedure for propositional projection temporal logic with infinite models (Q744099) (← links)
- A formal proof of the deadline driven scheduler in PPTL axiomatic system (Q744103) (← links)
- A canonical form based decision procedure and model checking approach for propositional projection temporal logic (Q896152) (← links)
- Temporal logics in AI: semantical and ontological considerations (Q1096384) (← links)
- Order-sorted model theory for temporal executable specifications (Q1391744) (← links)
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- Temporal logic CTL \(+\) Prolog (Q1823654) (← links)
- On the expressiveness of temporal logic programming (Q1892870) (← links)
- Modeling data-intensive reactive systems with relational transition systems (Q1901696) (← links)
- MetateM: An introduction (Q1904643) (← links)
- Efficient decision procedure for propositional projection temporal logic (Q2197530) (← links)
- A sound and complete proof system for a unified temporal logic (Q2197533) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- Model checking of pushdown systems for projection temporal logic (Q2424879) (← links)
- Interconnections between classes of sequentially compositional temporal formulas (Q2450935) (← links)
- A proof system for unified temporal logic (Q2686105) (← links)
- Prefix and projection onto state in duration calculus (Q2842576) (← links)
- Issues arising in the analysis of L.0 (Q4037128) (← links)
- Extending temporal logic to support high-level simulations (Q4875975) (← links)
- A separation theorem for discrete-time interval temporal logic (Q5074367) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)
