Login / Signup

Prenex Separation Logic with One Selector Field.

Mnacho EchenimRadu IosifNicolas Peltier
Published in: TABLEAUX (2019)
Keyphrases
  • normal form
  • real time
  • logic programming
  • modal logic
  • genetic algorithm
  • learning algorithm
  • proof theory