Login / Signup

Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts.

Chuck C. LiangGopalan NadathurXiaochu Qi
Published in: J. Autom. Reason. (2004)
Keyphrases
  • data sets
  • multi agent
  • co occurrence
  • search strategies
  • real time
  • social networks
  • expert systems
  • optimal strategy
  • space reduction