Open AccessTemporal logic with overlap temporal relations generated by time states themselves
Author(s) -
Vladimir V. Rybakov
Publication year - 2020
Publication title -
sibirskie elektronnye matematicheskie izvestiya
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.468
H-Index - 11
ISSN - 1813-3304
DOI - 10.33048/semi.2020.17.068
Subject(s) - temporal logic , interval temporal logic , temporal logic of actions , state (computer science) , computer science , theoretical computer science , algorithm
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom