Array Folds Logic.

Przemyslaw Daca Thomas A. Henzinger Andrey Kupriyanov

Published in: CAV (2) (2016)

Keyphrases

modal logic
logic programming
multi valued
computational properties
formal language
random access memory
automated reasoning
proof theory
real world
artificial intelligence
decision trees
image sequences
probabilistic logic
logical framework
abductive reasoning
asynchronous circuits