Multimodality in the Hypergraph Lambek Calculus.

Tikhon Pshenitsyn

Published in: CoRR (2023)

Keyphrases

higher order
hypergraph model
pairwise
multiresolution
multiscale
high order
automated deduction
vertex set
provably correct
image segmentation
bayesian networks
case study
database
databases
formal language
computer algebra
real time