Strong-separation Logic.

Jens Pagel Florian Zuleger

Published in: ACM Trans. Program. Lang. Syst. (2022)

Keyphrases

logic programming
modal logic
image sequences
classical logic
case study
evolutionary algorithm
computational properties
predicate logic
data mining
information retrieval
artificial intelligence
natural language
multi valued
proof theory