Login / Signup

On Asymmetric Unification and the Combination Problem in Disjoint Theories.

Serdar ErbaturDeepak KapurAndrew M. MarshallCatherine A. MeadowsPaliath NarendranChristophe Ringeissen
Published in: FoSSaCS (2014)
Keyphrases
  • equational theories
  • computational models
  • higher order
  • real time
  • real world
  • computer vision
  • combining multiple
  • data structure
  • digital libraries
  • artificial neural networks
  • cognitive psychology