Login / Signup
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms.
María Alpuente
Angel Cuenca-Ortega
Santiago Escobar
José Meseguer
Published in:
Fundam. Informaticae (2020)
Keyphrases
</>
order sorted
predicate logic
vector space
first order logic
piecewise linear
knowledge base
high level
digital images
euclidean space
data hiding
neural network
topology preserving
multidimensional scaling
information hiding
action theories