Login / Signup
A Critique of the Burrows, Abadi and Needham Logic.
Dan M. Nessett
Published in:
ACM SIGOPS Oper. Syst. Rev. (1990)
Keyphrases
</>
classical logic
public key
logic programming
multi valued
predicate logic
data mining
modal logic
set theory
real time
databases
decision trees
low cost
deontic logic
asynchronous circuits
proof theory
propositional dynamic logic