Duality in Logic and Computation.

Prakash Panangaden

Published in: LICS (2013)

Keyphrases

classical logic
database
data mining
linear programming
modal logic
automated reasoning
data sets
relational databases
efficient computation
multi valued
logical framework
formal theory
proof theory