Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course

Web Site CiNii Available at 57 libraries

Bibliographic Information

Title
"Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course"
Statement of Responsibility
Hubert Comon, Jean-Pierre Jouannaud, (eds.)
Publisher
  • Springer Verlag
Publication Year
  • c1995
Book size
24 cm
Series Name / No
  • : Berlin
  • : New York

Search this Book/Journal

Notes

"This volume contains the proceedings of the French Spring School of Theoretical Computer Science held in Font Romeu in May 1993"--Pref

Includes bibliographical references

Related Books

See more

Details 詳細情報について

Back to top