Weak Updates and Separation Logic.

Gang Tan Zhong Shao Xinyu Feng Hongxu Cai

Published in: New Gener. Comput. (2011)

Keyphrases

classical logic
automated reasoning
proof theory
logic programming
modal logic
multi valued
computational properties
data sets
learning algorithm
relational databases
predicate logic
deontic logic
asynchronous circuits
sound and complete axiomatization