|
|
|
|
| LEADER |
00000pam a22000004a 4500 |
| 001 |
4866048 |
| 003 |
ICU |
| 005 |
20040216163800.0 |
| 008 |
020429s2003 enka b 001 0 eng |
| 010 |
|
|
|a 2002067658
|
| 020 |
|
|
|a 0521391156
|
| 040 |
|
|
|a DLC
|c DLC
|d DLC
|d NhCcYBP
|d OCoLC
|d OrLoB-B
|
| 042 |
|
|
|a pcc
|
| 050 |
0 |
0 |
|a QA267
|b .T43 2003
|
| 082 |
0 |
0 |
|a 005.13/1
|2 21
|
| 245 |
0 |
0 |
|a Term rewriting systems /
|c [editors and authors, Marc Bezem, Jan Willem Klop, Roel de Vrijer ; authors, Erik Barendsen ... [et al.]].
|
| 260 |
|
|
|a Cambridge, UK ;
|a New York :
|b Cambridge University Press,
|c 2003.
|
| 300 |
|
|
|a xxii, 884 p. :
|b ill. ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Cambridge tracts in theoretical computer science ;
|v 55
|
| 504 |
|
|
|a Includes bibliographical references (p. 826-857) and indexes.
|
| 505 |
0 |
0 |
|g 1.
|t Abstract reduction systems /
|r Marc Bezem and Jan Willem Klop --
|g 2.
|t First-order term rewriting systems /
|r Jan Willem Klop and Roel de Vrijer --
|g 3.
|t Examples of TRSs and special rewriting formats /
|r Jan Willem Klop and Roel de Vrijer --
|g 4.
|t Orthogonality /
|r Jan Willem Klop, Vincent van Oostrom and Roel de Vrijer --
|g 5.
|t Properties of rewriting: decidability and modularity /
|r Jan Willem Klop and Roel de Vrijer --
|g 6.
|t Termination /
|r Hans Zantema --
|g 7.
|t Completion of equational specifications /
|r Inge Bethke --
|g 8.
|t Equivalence of reductions /
|r Vincent van Oostrom and Roel de Vrijer --
|g 9.
|t Strategies /
|r Vincent van Oostrom and Roel de Vrijer --
|g 10.
|t Lambda calculus /
|r Inge Bethke --
|g 11.
|t Higher-order rewriting /
|r Femke van Raamsdonk --
|g 12.
|t Infinitary rewriting /
|r Richard Kennaway and Fer-Jan de Vries --
|g 13.
|t Term graph rewriting /
|r Erik Barendsen --
|g 14.
|t Advanced ARS theory /
|r Marc Bezem, Jan Willem Klop and Vincent van Oostrom --
|g 15.
|t Rewriting-based languages and systems /
|r Jan Heering and Paul Klint --
|g A.
|t Mathematical background /
|r Marc Bezem.
|
| 650 |
|
0 |
|a Rewriting systems (Computer science)
|0 http://id.loc.gov/authorities/subjects/sh87003035
|
| 650 |
|
7 |
|a Rewriting systems (Computer science)
|2 fast
|0 http://id.worldcat.org/fast/fst01096809
|
| 700 |
1 |
|
|a Bezem, M.
|q (Marc),
|d 1956-
|0 http://id.loc.gov/authorities/names/n93011034
|1 http://viaf.org/viaf/57288699
|
| 700 |
1 |
|
|a Klop, J. W.
|0 http://id.loc.gov/authorities/names/n82022491
|1 http://viaf.org/viaf/77651947
|
| 700 |
1 |
|
|a Vrijer, Roel de
|0 http://id.loc.gov/authorities/names/n91002914
|1 http://viaf.org/viaf/43472950
|
| 903 |
|
|
|a HeVa
|
| 035 |
|
|
|a (OCoLC)49719208
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 79e526a1-3204-5805-ab61-fbcd75d3e71c
|s 4a42c6a9-44ac-5b9a-8fe0-6a0258d17342
|
| 928 |
|
|
|t Library of Congress classification
|a QA267 .T43 2003
|l Eck
|c Eck-Eck
|i 4618702
|
| 927 |
|
|
|t Library of Congress classification
|a QA267 .T43 2003
|l Eck
|c Eck-Eck
|e WIGO
|b 63671630
|i 7447504
|
