James Emil Avery

James Emil Avery

Associate Professor

  1. 2006
  2. Published

    Size-change termination and bound analysis

    Avery, James Emil, 2006, Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings. Hagiya, M. & Wadler, P. (eds.). Springer, p. 192-207 16 p. (Lecture notes in computer science, Vol. 3945).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ID: 2819