On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version).

Ugo Dal Lago Davide Davoli Bruce M. Kapron

Published in: CoRR (2024)

Keyphrases

logic programming
computational properties
derivation rules
databases
website
sound source
defeasible logic