Sign in
Composition Over the Natural Number Ordering with an Extra Binary Relation.
Wolfgang Thomas
Published in:
Fields of Logic and Computation II (2015)
Keyphrases
</>
binary relations
computational complexity
data model
knowledge representation