Coverart for item
The Resource Advanced topics in term rewriting, Enno Ohlebusch

Advanced topics in term rewriting, Enno Ohlebusch

Label
Advanced topics in term rewriting
Title
Advanced topics in term rewriting
Statement of responsibility
Enno Ohlebusch
Creator
Subject
Language
eng
Summary
  • "This text/reference offers a comprehensive and unified view of the subject that is suitable for all computer scientists, program designers, and software engineers who study and use term-rewriting techniques. Practitioners, researchers, and professionals will find the book an essential and authoritative resource and guide for the latest developments and results in the field."--Jacket
  • "This text/reference offers a comprehensive and unified view of the subject that is suitable for all computer scientists, program designers, and software engineers who study and use term-rewriting techniques. Practitioners, researchers, and professionals will find the book an essential and authoritative resource and guide for the latest developments and results in the field."--BOOK JACKET
Cataloging source
DLC
http://library.link/vocab/creatorName
Ohlebusch, Enno
Dewey number
005.13/1
Illustrations
illustrations
Index
index present
LC call number
QA267
LC item number
.O36 2002
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/subjectName
Rewriting systems (Computer science)
Label
Advanced topics in term rewriting, Enno Ohlebusch
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages [385]-405) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 5.
  • Termination
  • 6.
  • Relative Undecidability
  • 7.
  • Conditional Rewrite Systems
  • 8.
  • Modularity
  • 9.
  • Graph Rewriting
  • 1.
  • 10.
  • Proving Termination of Logic Programs
  • A.
  • Kruskal's Theorem
  • Motivation
  • 2.
  • Abstract Reduction Systems
  • 3.
  • Term Rewriting Systems
  • 4.
  • Confluence
Control code
47667267
Dimensions
25 cm
Extent
xv, 414 pages
Isbn
9780387952505
Isbn Type
(alk. paper)
Lccn
2001049270
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Advanced topics in term rewriting, Enno Ohlebusch
Publication
Bibliography note
Includes bibliographical references (pages [385]-405) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 5.
  • Termination
  • 6.
  • Relative Undecidability
  • 7.
  • Conditional Rewrite Systems
  • 8.
  • Modularity
  • 9.
  • Graph Rewriting
  • 1.
  • 10.
  • Proving Termination of Logic Programs
  • A.
  • Kruskal's Theorem
  • Motivation
  • 2.
  • Abstract Reduction Systems
  • 3.
  • Term Rewriting Systems
  • 4.
  • Confluence
Control code
47667267
Dimensions
25 cm
Extent
xv, 414 pages
Isbn
9780387952505
Isbn Type
(alk. paper)
Lccn
2001049270
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...