Cirquent calculus in a nutshell.

Giorgi Japaridze Bikal Lamichhane

Published in: CoRR (2021)

Keyphrases

data sets
database
algebraic structure
artificial intelligence
formal language
natural deduction
computer algebra
machine learning
computer vision
feature selection
probabilistic model
type checking
provably correct
sequent calculus