Strong-Separation Logic.

Jens Pagel Florian Zuleger

Published in: ESOP (2021)

Keyphrases

multi valued
logic programming
classical logic
learning algorithm
case study
expert systems
modal logic
defeasible logic
abductive reasoning
asynchronous circuits