Proving Quadratic Derivational Complexities Using Context Dependent Interpretations.

Georg Moser Andreas Schnabl

Published in: RTA (2008)

Keyphrases

context dependent
semantic level
context free
low level
finite state
natural language
user centric
high level
computational complexity
objective function
pairwise