The Resource Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings, Leo Bachmair (ed.)

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings, Leo Bachmair (ed.)

Label
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Title
Rewriting techniques and applications
Title remainder
11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Statement of responsibility
Leo Bachmair (ed.)
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA267
LC item number
.R48 2000
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
2000
http://library.link/vocab/relatedWorkOrContributorName
  • Bachmair, Leo
  • International Conference on Rewriting Techniques and Applications
http://library.link/vocab/subjectName
  • Rewriting systems (Computer science)
  • Computer programming
  • Algorithms
  • sémantique programme
  • programmation en logique
  • lambda calcul
  • réécriture
  • Réécriture, Systèmes de (Informatique)
  • Programmation (Informatique)
  • Algorithmes
  • Algorithms
  • Computer programming
  • Rewriting systems (Computer science)
  • Algebraïsche logica
  • Bewijstheorie
  • Specificatie
  • Computermethoden
  • Réécriture, Systèmes de (informatique)
  • Ordinateurs
  • Algorithmes
  • Reduktionssystem
  • Norwich <2000>
Label
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings, Leo Bachmair (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references 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
Rewriting Logic and Maude: Concepts and Applications / Jose Meseguer -- Tree Automata and Term Rewrite Systems / Sophie Tison -- Absolute Explicit Unification / Nikolaj Bjorner and Cesar Munoz -- Termination and Confluence of Higher-Order Rewrite Systems / Frederic Blanqui -- A de Bruijn Notation for Higher-Order Rewriting / Eduardo Bonelli, Delia Kesner and Alejandro Rios -- Rewriting Techniques in Theoretical Physics / Evelyne Contejean, Antoine Coste and Benjamin Monate -- Normal Forms and Reduction for Theories of Binary Relations / Dan Dougherty and Claudio Gutierrez -- Parallelism Constraints / Katrin Erk and Joachim Niehren -- Linear Higher-Order Matching Is NP-Complete / Philippe de Groote -- Standardization and Confluence for a Lambda Calculus with Generalized Applications / Felix Joachimski and Ralph Matthes -- Linear Second-Order Unification and Context Unification with Tree-Regular Constraints / Jordi Levy and Mateu Villaret -- Word Problems and Confluence Problems for Restricted Semi-Thue Systems / Markus Lohrey -- The Explicit Representability of Implicit Generalizations / Reinhard Pichler -- On the Word Problem for Combinators / Rick Statman -- An Algebra of Resolution / Georg Struth -- Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems / Jurgen Stuber -- Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability / Toshinori Takai, Yuichi Kaji and Hiroyuki Seki -- System Description: The Dependency Pair Method / Thomas Arts -- REM (Reduce Elan Machine): Core of the New ELAN Compiler / Pierre-Etienne Moreau -- TALP: A Tool for the Termination Analysis of Logic Programs / Enno Ohlebusch, Claus Claves and Claude Marche
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 273 pages
Isbn
9783540677789
Lccn
00056309
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)44469040
  • (OCoLC)ocm44469040
Label
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings, Leo Bachmair (ed.)
Publication
Bibliography note
Includes bibliographical references 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
Rewriting Logic and Maude: Concepts and Applications / Jose Meseguer -- Tree Automata and Term Rewrite Systems / Sophie Tison -- Absolute Explicit Unification / Nikolaj Bjorner and Cesar Munoz -- Termination and Confluence of Higher-Order Rewrite Systems / Frederic Blanqui -- A de Bruijn Notation for Higher-Order Rewriting / Eduardo Bonelli, Delia Kesner and Alejandro Rios -- Rewriting Techniques in Theoretical Physics / Evelyne Contejean, Antoine Coste and Benjamin Monate -- Normal Forms and Reduction for Theories of Binary Relations / Dan Dougherty and Claudio Gutierrez -- Parallelism Constraints / Katrin Erk and Joachim Niehren -- Linear Higher-Order Matching Is NP-Complete / Philippe de Groote -- Standardization and Confluence for a Lambda Calculus with Generalized Applications / Felix Joachimski and Ralph Matthes -- Linear Second-Order Unification and Context Unification with Tree-Regular Constraints / Jordi Levy and Mateu Villaret -- Word Problems and Confluence Problems for Restricted Semi-Thue Systems / Markus Lohrey -- The Explicit Representability of Implicit Generalizations / Reinhard Pichler -- On the Word Problem for Combinators / Rick Statman -- An Algebra of Resolution / Georg Struth -- Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems / Jurgen Stuber -- Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability / Toshinori Takai, Yuichi Kaji and Hiroyuki Seki -- System Description: The Dependency Pair Method / Thomas Arts -- REM (Reduce Elan Machine): Core of the New ELAN Compiler / Pierre-Etienne Moreau -- TALP: A Tool for the Termination Analysis of Logic Programs / Enno Ohlebusch, Claus Claves and Claude Marche
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 273 pages
Isbn
9783540677789
Lccn
00056309
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)44469040
  • (OCoLC)ocm44469040

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...