Pages that link to "Item:Q1144955"
From MaRDI portal
The following pages link to Temporal aspects of logical procedure definition (Q1144955):
Displayed 8 items.
- Branching versus linear logics yet again (Q911747) (← links)
- Transformation of dynamic integrity constraints into transaction specifications (Q915441) (← links)
- Specification and verification of database dynamics (Q1092680) (← links)
- A temporal logic-based approach for the description of object behavior evolution (Q1353949) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- An axiomatization of PCTL* (Q2566222) (← links)
- Representation of temporal information (Q3657978) (← links)
- Constructing systems as object communities (Q5044754) (← links)