Restriction on Cut in Cyclic Proof System for Symbolic Heaps.

Kenji Saotome Koji Nakazawa Daisuke Kimura

Published in: FLOPS (2020)

Keyphrases

modal logic
high level
database
low level
neural learning
data mining
video sequences
symbolic reasoning
connectionist systems