Extended transitive separation logic.

Han-Hing Dang Bernhard Möller

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

logic programming
databases
artificial intelligence
modal logic
predicate logic
derivation rules
neural network
real world
data mining
machine learning
expert systems
probability theory
multi valued
formal theory