Login / Signup
Abstract Certification of Global Non-Interference in Rewriting Logic
Mauricio Alba-Castro
María Alpuente
Santiago Escobar
Published in:
CoRR (2010)
Keyphrases
</>
third party
multi valued
higher level
conjunctive queries
query rewriting
propositional dynamic logic
data sets
neural network
rewrite rules