Sign in

A Proof Procedure for Separation Logic with Inductive Definitions and Data.

Mnacho EchenimNicolas Peltier
Published in: J. Autom. Reason. (2023)
Keyphrases
  • database
  • proof procedure
  • machine learning
  • bayesian networks
  • expert systems