Exact Separation Logic.

Petar Maksimovic Caroline Cronjäger Julian Sutherland Andreas Lööw Sacha-Élie Ayoun Philippa Gardner

Published in: CoRR (2022)

Keyphrases

classical logic
logic programming
modal logic
digital circuits
neural network
exact solution
computational properties
information retrieval
data structure
defeasible logic
deontic logic
asynchronous circuits
logic synthesis