Private Names in Non-Commutative Logic.

Ross Horne Alwen Tiu Bogdan Aman Gabriel Ciobanu

Published in: CONCUR (2016)

Keyphrases

logic programming
modal logic
special case
keywords
named entities
defeasible logic
multi valued
classical logic
formal theory
case study
digital circuits
asynchronous circuits
database
automated reasoning
privacy preserving
genetic algorithm
data mining