Symbolic Rewriting Techniques (Progress in Computer Science and Applied Logic (PCS))
Contributors: Manuel Bronstein (Editor); Johannes Grabmeier (Editor); Volker Weispfenning (Editor)
Edition: 1 edition
Publisher: Birkhäuser Basel
Published: April 25, 2003
Language: eng
Format: Hardcover
Number of pages: 296
ISBN-13: 9783764359010
Subjects: Algebra; Mathematical theory of computation; Theory Of Computing; Numerical Analysis; Congresses; Rewriting systems (Computer sc; Computers; Computers - Languages / Programming; GrÂobner bases; Science/Mathematics; Group Theory; Data processing; Programming - General; Computer algebra; Mathematics / General; commutatitve algebra; ring theory; Rewriting systems (Computer science); Computer Bks - Languages / Programming; Computer Science; Grobner bases