The Light Lexicographic path Ordering - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2000

The Light Lexicographic path Ordering


We introduce syntactic restrictions of the lexicographic path ordering to obtain the Light Lexicographic Path Ordering. We show that the light lexicographic path ordering leads to a characterisation of the functions computable in space bounded by a polynomial in the size of the inputs.
Not file

Dates and versions

inria-00099238 , version 1 (26-09-2006)


  • HAL Id : inria-00099238 , version 1


Adam Cichon, Jean-Yves Marion. The Light Lexicographic path Ordering. Workshop RULE'2000, Sep 2000, Montréal, Canada, 17 p. ⟨inria-00099238⟩
69 View
0 Download


Gmail Facebook Twitter LinkedIn More