The Complexity of Prenex Separation Logic with One Selector.

Mnacho Echenim Radu Iosif Nicolas Peltier

Published in: CoRR (2018)

Keyphrases

worst case
normal form
computational cost
computational complexity
logic programming
decision problems
artificial intelligence
bayesian networks
data model