The Lambek Calculus with Iteration: Two Variants.

Stepan L. Kuznetsov

Published in: WoLLIC (2017)

Keyphrases

iterative process
automated deduction
real time
databases
iterative algorithms
automated theorem proving
data sets
learning algorithm
data structure
relational databases
search space
computer algebra