Mapped Separation Logic.

Rafal Kolanski Gerwin Klein

Published in: VSTTE (2008)

Keyphrases

logic programming
modal logic
classical logic
neural network
multi valued
database
epistemic logic
asynchronous circuits
proof theory
data sets
machine learning
artificial intelligence
website
defeasible logic
digital circuits
linear logic