On the directional Lambek calculus.

Wojciech Zielonka

Published in: Log. J. IGPL (2010)

Keyphrases

directional features
computer algebra
evolutionary algorithm
automated deduction
algebraic structure
provably correct