Open AccessTemporal logic with overlap temporal relations generated by time states themselves
Author(s) -
Владимир В. Рыбаков
Publication year - 2020
Publication title -
sibirskie èlektronnye matematičeskie izvestiâ
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