Strictly orthogonal left linear rewrite systems and primitive recursion
Under an Elsevier user license
open archive
MSC
68Q42
03D15
03D20
Keywords
Term rewriting systems
Complexity of orthogonal term rewriting systems
Subrecursive hierarchies
Primitive recursion
Primitive recursion with parameters
Cited by (0)
Copyright © 2001 Elsevier Science B.V. All rights reserved.