Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Ben Moszkowski"'
Autor:
Ben Moszkowski
Publikováno v:
Logical Methods in Computer Science, Vol Volume 8, Issue 3 (2012)
Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL variants, axiom systems and tools have been investigated. We solve the lon
Externí odkaz:
https://doaj.org/article/c41d1e9f2c364155831af53ea43e3a94
Autor:
Dimitar P. Guelev, Ben Moszkowski
Publikováno v:
Journal of Applied Non-Classical Logics. 32:28-54
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6704c549ed31d99fecc28f33eaa3de4
https://doi.org/10.1080/11663081.2022.2050135
https://doi.org/10.1080/11663081.2022.2050135
Autor:
Ben Moszkowski
Over the last few years, temporal logic has been investigated as a tool for reasoning about computer programs, digital circuits and message-passing systems. In the case of programs, the general feeling has been that temporal logic is an adjunct to ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30cf2ba78f62e1d74222b1f2e8b2f0ee
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.