Symbolic rewriting techniques

Author(s)

• Bronstein, Manuel
• Grabmeier, Johannes
• Weispfenning, Volker
• Symbolic Rewriting Techniques Workshop

Bibliographic Information

Symbolic rewriting techniques

Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors

（Progress in computer science and applied logic, v. 15）

Birkhäuser Verlag, c1998

• : Basel : alk. paper
• Boston : pbk. : alk. paper

Note

Includes bibliographical references and index

"This volume contains ... the Symbolic Rewriting Techniques workshop, which was held in the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995" -- Pref

• NCID: BA35204361
• ISBN:
  • 3764359013
  • 0817659013
• LCCN: 98011497
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Basel ; Boston
• Pages/Volumes: 288 p.
• Size: 24 cm
• Classification:
  • LCC : QA267
  • DC21 : 005.13/1
• Subject Headings:
  • LCSH : Rewriting systems (Computer science) -- Congresses
  • LCSH : Gröbner bases -- Congresses
  • LCSH : Numerical analysis -- Data processing -- Congresses
• Parent Bibliography ID:
  • BA07712819