Unbounded Separation Logic.

Thibault Dardinier

Published in: Arch. Formal Proofs (2022)

Keyphrases

classical logic
automated reasoning
machine learning
modal logic
multi valued
logical framework
defeasible logic
epistemic logic
data sets
image processing
relational databases
asynchronous circuits