Concurrent separation logic.

Stephen Brookes Peter W. O'Hearn

Published in: ACM SIGLOG News (2016)

Keyphrases

logic programming
proof theory
multi valued
predicate logic
machine learning
modal logic
classical logic
artificial intelligence
clustering algorithm
multiscale
search algorithm
automated reasoning
defeasible logic
asynchronous circuits
concurrent programming