Computational indistinguishability logic.

Gilles Barthe Marion Daubignard Bruce M. Kapron Yassine Lakhnech

Published in: CCS (2010)

Keyphrases

modal logic
computational power
multi valued
real time
case study
database systems
data management
mathematical programming
classical logic
predicate logic