No label defined (Q5884961)
From MaRDI portal
scientific article; zbMATH DE number 7668112
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7668112 |
Statements
24 March 2023
0 references
temporal logic
0 references
tense logic
0 references
Minkowski spacetime
0 references
EXPTIME-hard
0 references
corridor-tiling game
0 references
