Sign in
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.
Carlos Olarte
Frank D. Valencia
Published in:
PPDP (2008)
Keyphrases
</>
closure operator
closed sets
mining algorithm
query containment
description logics
case based reasoning
first order logic