Sign in

Rewriting Modulo βin the λΠ-Calculus Modulo.

Ronan Saillard
Published in: LFMTP (2015)
Keyphrases
  • special case
  • artificial neural networks
  • real time
  • data sets
  • information retrieval
  • expert systems