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

https://hal.inria.fr/inria-00100446
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

Identifiers

  • HAL Id : inria-00100446, version 1

Citation

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

Share

Metrics

Record views

130