Temporal Structures (Q4006231)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Temporal Structures |
scientific article |
Statements
Temporal Structures (English)
0 references
26 September 1992
0 references
Floyd-Warshall-Kleene algorithm
0 references
enriched categories
0 references
Birkhoff arithmetic
0 references
algebras of transitive vertex-labeled spaces
0 references
uniform theory of abstract or parametrized time
0 references
algebra of concurrent behaviors
0 references
data types
0 references
