Found 2 Documents (Results 1–2)
A separation theorem for discrete-time interval temporal logic. (English) Zbl 1517.03014
J. Appl. Non-Class. Log. 32, No. 1, 28-54 (2022); correction ibid. 32, No. 4, 335-338 (2022).
Filter Results by …
Author
- Guelev, Dimitar P. (2)
- Moszkowski, Ben C. (2)