Representing and Reasoning about Temporal Granularities (Q4461352)
From MaRDI portal
scientific article; zbMATH DE number 2063773
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Representing and Reasoning about Temporal Granularities |
scientific article; zbMATH DE number 2063773 |
Statements
Representing and Reasoning about Temporal Granularities (English)
0 references
30 March 2004
0 references
Temporal representation and reasoning
0 references
granularity
0 references
temporal logics
0 references
formal specification
0 references
calendar specification
0 references
