Lambek Calculus with Conjugates.

Igor Sedlár Andrew Tedder

Published in: Stud Logica (2021)

Keyphrases

automated deduction
website
computer algebra
search engine
evolutionary algorithm
algebraic structure
timed automata