Login / Signup

Big-step normalisation.

Thorsten AltenkirchJames Chapman
Published in: J. Funct. Program. (2009)
Keyphrases
  • big data
  • post processing
  • multi agent systems
  • lower bound
  • preprocessing step