Affordable Access

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

Authors
Publication Date
Source
Online Research Database In Technology
Keywords
  • Interval Temporal Logics, Overlap Relation, Undecidability, Octant Tiling Problem
External links

Abstract

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments