The ACM Computing Classification System (CCS)
Toggle navigation
Home
Advanced search
About...
My account
temporal logic
Home
temporal logic
Term
Metadata
temporal logic
temporal logic
USE
Modal and temporal logics
Date of creation
22-Jan-2018
Accepted term
22-Jan-2018
Descendant terms
0
ARK
ark:/99152/t3klyqggyvq4j5
More specific terms
0
Alternative terms
0
Related terms
0
Notes
0
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search