Login / Signup

On Asymmetric Unification for the Theory of XOR with a Homomorphism.

Christopher LynchAndrew M. MarshallCatherine A. MeadowsPaliath NarendranVeena Ravishankar
Published in: FroCos (2019)
Keyphrases
  • higher order
  • data sets
  • image processing
  • equational theories
  • data mining
  • digital libraries
  • conceptual framework
  • theoretical basis
  • decision theory
  • general theory