Login / Signup
Cyclic Shift in the Lambek Calculus.
Tikhon Pshenitsyn
Published in:
CoRR (2021)
Keyphrases
</>
formal language
real numbers
databases
three dimensional
automated deduction
algebraic structure
computer algebra