Login / Signup

The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates.

Mnacho EchenimRadu IosifNicolas Peltier
Published in: ACM Trans. Comput. Log. (2020)
Keyphrases
  • bounded model checking
  • genetic algorithm
  • class labels
  • predicate logic
  • data sets
  • neural network
  • logic programming
  • user defined
  • modal logic
  • horn clauses
  • classical logic
  • datalog programs
  • proof theory