Sign in

CPS transformation of beta-redexes.

Olivier DanvyLasse R. Nielsen
Published in: Inf. Process. Lett. (2005)
Keyphrases
  • real time
  • neural network
  • linear transformation
  • data mining
  • data structure
  • support vector
  • pattern recognition
  • pairwise
  • mobile robot
  • transformation rules