The Light Lexicographic path Ordering

Details The Light Lexicographic path Ordering The Light Lexicographic path Ordering

2000-10-03

arxiv.org/abs/cs/0010008v1

Computer Science

Programming Languages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

The Light Lexicographic path Ordering does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The Light Lexicographic path Ordering, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Light Lexicographic path Ordering will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-208232