Old Web
English
Sign In
Acemap
>
Paper
>
One way to determine the intervals in hybrid temporal logic
One way to determine the intervals in hybrid temporal logic
2017
E.F. Karavaev
Keywords:
Temporal logic
Real-time computing
Interval temporal logic
Mathematics
Hybrid logic
Arithmetic
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]