Skip to main content
OSTI.GOVU.S. Department of Energy Office of Scientific and Technical Information
U.S. Department of Energy
Office of Scientific and Technical Information
 

Topos Semantics for a Higher-order Temporal Logic of Actions.

Conference ·
OSTI ID:1640957
 [1];  [1];  [1]
  1. SNL
+ Show Author Affiliations

Abstract not provided.

Research Organization:
Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
Sponsoring Organization:
USDOE National Nuclear Security Administration (NNSA)
DOE Contract Number:
AC04-94AL85000
OSTI ID:
1640957
Report Number(s):
SAND2019-7169C; 676755
Country of Publication:
United States
Language:
English

Similar Records

Topos Semantics for Higher-order Temporal Logic of Actions.
Conference · Mon Jul 01 00:00:00 EDT 2019 · OSTI ID:1641213
Temporal Analysis and Change Detection via Geospatial-Temporal Semantic Graphs.
Conference · Fri Jan 31 23:00:00 EST 2014 · OSTI ID:1141170
Temporal analysis of semantic graphs using ASALSAN.
Conference · Fri Jun 01 00:00:00 EDT 2007 · OSTI ID:1141528

Related Subjects