The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints (Q4649289)
From MaRDI portal
scientific article; zbMATH DE number 6109361
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints |
scientific article; zbMATH DE number 6109361 |
Statements
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints (English)
0 references
21 November 2012
0 references
