Skip to main content
SpringerLink
Log in

REVEUR4 : A laboratory for conditional rewriting

  • Systems Demonstrations
  • Conference paper
  • First Online:
STACS 87 (STACS 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 247))

Included in the following conference series:

  • 119 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. BOUSDIRA. W., REMY. J.L, Complétion des systèmes de réécriture conditionnelle, Rapport de recherche 86-R-120, C.R.I.N

    Google Scholar 

  2. LESCANNE. P, Uniform Termination of Term Rewriting Systems-Recursive Decomposition Ordering with Status, Proceedings 9th CAAP, Bordeaux, 1984

    Google Scholar 

  3. KNUTH. D, BENDIX. P, Simple Word Problems in Abstract Algebra, Leech J.ed, Pergamon Press, pp. 263–297, 1970

    Google Scholar 

  4. REMY. J.L, Etude des systèmes de réécriture conditionnelle et applications aux types abstraits algébriques, Thèse d'Etat, I.N.P.L, Nancy, 1982

    Google Scholar 

  5. REMY. J.L, ZHANG. H, REVEUR4: A system for validating conditional algebraic specifications of abstract data types, Proc. of 6th ECAI Conference, Pisa, Italy, 1984

    Google Scholar 

  6. ZHANG. H, REVEUR4: Etude et mise en oeuvre de la réécriture conditionnelle, Thèse de 3ème cycle, Université de Nancy 1, 1984

    Google Scholar 

  7. ZHANG. H, REMY. J.L, Contextual rewriting, Proc. of the 1st Conf. on Rewriting Techniques and Applications, Lect. Notes in Comp. Sci., 202, Dijon, France, 1985

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre de Recherche en Informatique de Nancy, Campus scientifique, BP 239, 54506, Vandoeuvre-Les-Nancy, France

    Wadoud Bousdira & Jean-Luc Remy

Authors
  1. Wadoud Bousdira
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jean-Luc Remy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Franz J. Brandenburg Guy Vidal-Naquet Martin Wirsing

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bousdira, W., Remy, JL. (1987). REVEUR4 : A laboratory for conditional rewriting. In: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M. (eds) STACS 87. STACS 1987. Lecture Notes in Computer Science, vol 247. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039631

Download citation

  • DOI: https://doi.org/10.1007/BFb0039631

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-17219-2

  • Online ISBN: 978-3-540-47419-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation