A duration calculus with neighborhood modalities.

Published in: J. Appl. Non Class. Logics (2010)

Keyphrases

data sets
algebraic structure
database
information systems
relational databases
constraint satisfaction problems
neighborhood structure
automated deduction
computer algebra