Skip to Main content Skip to Navigation
New interface
Journal articles

Algorithms and Reductions for Rewriting Problems

Rakesh Verma 1 Michaël Rusinowitch 2 Denis Lugiez 
2 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We give complexity results on general rewriting problems
Document type :
Journal articles
Complete list of metadata
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:45:26 PM
Last modification on : Tuesday, November 29, 2022 - 12:02:06 PM


  • HAL Id : inria-00100446, version 1


Rakesh Verma, Michaël Rusinowitch, Denis Lugiez. Algorithms and Reductions for Rewriting Problems. Fundamenta Informaticae, 2001, 46 (3), pp.257-276. ⟨inria-00100446⟩



Record views