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

Abstract

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)

Identifiers

  • HAL Id : inria-00099238 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More