The Light Lexicographic path Ordering - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2000

The Light Lexicographic path Ordering

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00099238 , version 1

Citer

Adam Cichon, Jean-Yves Marion. The Light Lexicographic path Ordering. Workshop RULE'2000, Sep 2000, Montréal, Canada, 17 p. ⟨inria-00099238⟩
83 Consultations
0 Téléchargements

Partager

More