Search

Your search keyword '"interval temporal logics"' showing total 1 results

Search Constraints

Start Over You searched for: Descriptor "interval temporal logics" Remove constraint Descriptor: "interval temporal logics" Journal entcs: electronic notes in theoretical computer science Remove constraint Journal: entcs: electronic notes in theoretical computer science
1 results on '"interval temporal logics"'

Search Results

1. Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.

Catalog

Books, media, physical & digital resources