Unary-Determined Distributive ℓ-magmas and Bunched Implication Algebras.

Natanael Alpay Peter Jipsen Melissa Sugimoto

Published in: RAMiCS (2021)

Keyphrases

distributive lattices
pairwise
boolean algebra
real time
belief functions
neural network
multiscale
objective function
mobile robot
functional dependencies
spatial reasoning