Coverart for item
The Resource Term rewriting systems, [editors and authors, Marc Bezem, Jan Willem Klop, Roel de Vrijer ; authors, Erik Barendsen [and others]]

Term rewriting systems, [editors and authors, Marc Bezem, Jan Willem Klop, Roel de Vrijer ; authors, Erik Barendsen [and others]]

Label
Term rewriting systems
Title
Term rewriting systems
Statement of responsibility
[editors and authors, Marc Bezem, Jan Willem Klop, Roel de Vrijer ; authors, Erik Barendsen [and others]]
Contributor
Subject
Language
eng
Member of
Cataloging source
DLC
Dewey number
005.13/1
Illustrations
illustrations
Index
index present
LC call number
QA267
LC item number
.T43 2003
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1956-
http://library.link/vocab/relatedWorkOrContributorName
  • Bezem, M.
  • Klop, J. W
  • Vrijer, Roel de
Series statement
Cambridge tracts in theoretical computer science
Series volume
55
http://library.link/vocab/subjectName
Rewriting systems (Computer science)
Label
Term rewriting systems, [editors and authors, Marc Bezem, Jan Willem Klop, Roel de Vrijer ; authors, Erik Barendsen [and others]]
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 826-857) and indexes
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Abstract reduction systems / Marc Bezem and Jan Willem Klop -- 2. First-order term rewriting systems / Jan Willem Klop and Roel de Vrijer -- 3. Examples of TRSs and special rewriting formats / Jan Willem Klop and Roel de Vrijer -- 4. Orthogonality / Jan Willem Klop, Vincent van Oostrom and Roel de Vrijer -- 5. Properties of rewriting: decidability and modularity / Jan Willem Klop and Roel de Vrijer -- 6. Termination / Hans Zantema -- 7. Completion of equational specifications / Inge Bethke -- 8. Equivalence of reductions / Vincent van Oostrom and Roel de Vrijer -- 9. Strategies / Vincent van Oostrom and Roel de Vrijer -- 10. Lambda calculus / Inge Bethke -- 11. Higher-order rewriting / Femke van Raamsdonk -- 12. Infinitary rewriting / Richard Kennaway and Fer-Jan de Vries -- 13. Term graph rewriting / Erik Barendsen -- 14. Advanced ARS theory / Marc Bezem, Jan Willem Klop and Vincent van Oostrom -- 15. Rewriting-based languages and systems / Jan Heering and Paul Klint -- A. Mathematical background / Marc Bezem
Control code
49719208
Dimensions
24 cm
Extent
xxii, 884 pages
Isbn
9780521391153
Lccn
2002067658
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Term rewriting systems, [editors and authors, Marc Bezem, Jan Willem Klop, Roel de Vrijer ; authors, Erik Barendsen [and others]]
Publication
Bibliography note
Includes bibliographical references (pages 826-857) and indexes
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Abstract reduction systems / Marc Bezem and Jan Willem Klop -- 2. First-order term rewriting systems / Jan Willem Klop and Roel de Vrijer -- 3. Examples of TRSs and special rewriting formats / Jan Willem Klop and Roel de Vrijer -- 4. Orthogonality / Jan Willem Klop, Vincent van Oostrom and Roel de Vrijer -- 5. Properties of rewriting: decidability and modularity / Jan Willem Klop and Roel de Vrijer -- 6. Termination / Hans Zantema -- 7. Completion of equational specifications / Inge Bethke -- 8. Equivalence of reductions / Vincent van Oostrom and Roel de Vrijer -- 9. Strategies / Vincent van Oostrom and Roel de Vrijer -- 10. Lambda calculus / Inge Bethke -- 11. Higher-order rewriting / Femke van Raamsdonk -- 12. Infinitary rewriting / Richard Kennaway and Fer-Jan de Vries -- 13. Term graph rewriting / Erik Barendsen -- 14. Advanced ARS theory / Marc Bezem, Jan Willem Klop and Vincent van Oostrom -- 15. Rewriting-based languages and systems / Jan Heering and Paul Klint -- A. Mathematical background / Marc Bezem
Control code
49719208
Dimensions
24 cm
Extent
xxii, 884 pages
Isbn
9780521391153
Lccn
2002067658
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Mathematical Sciences LibraryBorrow it
      104 Ellis Library, Columbia, MO, 65201, US
      38.944377 -92.326537
Processing Feedback ...