Research output: Contribution to journal › Article › peer-review
One way to determine the intervals in hybrid temporal logic. / Караваев, Эдуард Федорович.
In: ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ, Vol. 23, No. 1, 2017.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - One way to determine the intervals in hybrid temporal logic
AU - Караваев, Эдуард Федорович
PY - 2017
Y1 - 2017
U2 - 10.21146/2074-1472-2017-23-1-48-56
DO - 10.21146/2074-1472-2017-23-1-48-56
M3 - статья
VL - 23
JO - Logical Investigations
JF - Logical Investigations
SN - 2074-1472
IS - 1
ER -
ID: 9713976