Equational Logic and Set-Theoretic Models for Multi-Languages.

Samuele Buro Roy L. Crole Isabella Mastroeni

Published in: ICTCS (2020)

Keyphrases

set theoretic
probabilistic model
image recovery
gibbs random field
decision trees
neural network
dimensionality reduction
expressive power
theorem proving