Sign in

Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction.

Pierre Clairambault
Published in: TLCA (2013)
Keyphrases
  • upper bound
  • real time
  • error tolerance
  • lower bound
  • query expansion
  • error bounds
  • shape representation