Temporal aspects of logical procedure definition
From MaRDI portal
Cited in
(9)- Specification and verification of database dynamics
- Representation of temporal information
- Construction of deterministic transition graphs from dynamic integrity constraints
- Constructing systems as object communities
- Branching versus linear logics yet again
- Transformation of dynamic integrity constraints into transaction specifications
- A temporal logic-based approach for the description of object behavior evolution
- An axiomatization of PCTL*
- Decidable fragments of first-order temporal logics
This page was built for publication: Temporal aspects of logical procedure definition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1144955)