Approximating Non-interference and Erasure in Rewriting Logic.

Mauricio Alba-Castro María Alpuente Santiago Escobar

Published in: SYNASC (2010)

Keyphrases

logic programming
classical logic
multipath
conjunctive queries
logical framework
modal logic
multi valued
rewrite rules
proof theory
rewriting rules
video data
deontic logic
asynchronous circuits