Structured Types and Separation Logic.

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

database
modal logic
classical logic
asynchronous circuits
real time
machine learning
artificial intelligence
image processing
similarity measure
evolutionary algorithm
defeasible logic