Term rewriting and all that

Author(s)

• Baader, Franz
• Nipkow, Tobias

Bibliographic Information

Term rewriting and all that

Franz Baader and Tobias Nipkow

Cambridge University Press, 1998

Note

Includes bibliographical references (p. 284-296) and index

Details

• NCID: BA34994564
• ISBN:
  • 0521455200
• LCCN: 97028286
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: xii, 301 p.
• Size: 26 cm
• Classification:
  • LCC : QA267
  • DC21 : 005.13/1
• Subject Headings:
  • LCSH : Rewriting systems (Computer science)