The Permutative λ-Calculus.

Beniamino Accattoli Delia Kesner

Published in: LPAR (2012)

Keyphrases

automated deduction
computer algebra
video sequences
timed automata
decision making
image segmentation
database systems
image sequences
multiscale
evolutionary algorithm
relational calculus
proof procedure
automated theorem proving
natural deduction
algebraic structure
database query languages