Prenex Separation Logic with One Selector Field.

Mnacho Echenim Radu Iosif Nicolas Peltier

Published in: TABLEAUX (2019)

Keyphrases

normal form
real time

logic programming
modal logic

genetic algorithm
learning algorithm

proof theory