Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems.

Mnacho Echenim Radu Iosif Nicolas Peltier

Published in: CoRR (2020)

Keyphrases

machine learning
knowledge based systems
complex systems
expert systems
distributed systems
intelligent systems
building blocks
data sets
databases
artificial intelligence
logic programming
first order logic
digital circuits