The Resource Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings, Tobias Nipkow (ed.)

Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings, Tobias Nipkow (ed.)

Label
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Title
Rewriting techniques and applications
Title remainder
9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Statement of responsibility
Tobias Nipkow (ed.)
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Index
index present
LC call number
QA267
LC item number
.R48 1998
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1958-
  • 1998
http://library.link/vocab/relatedWorkOrContributorName
  • Nipkow, Tobias
  • International Conference on Rewriting Techniques and Applications
http://library.link/vocab/subjectName
  • Rewriting systems (Computer science)
  • Computer programming
  • Algorithms
  • programmation fonctionnelle
  • démonstration théorème
  • lambda calcul
  • logique équationnelle
  • réécriture
  • Programmation (Informatique)
  • Algorithmes
  • Algorithms
  • Computer programming
  • Rewriting systems (Computer science)
  • Algebraïsche logica
  • Bewijstheorie
  • Specificatie
  • Computermethoden
  • Teoria da computacao
  • Réécriture, Systèmes de (informatique)
  • Algorithmes
  • Ordinateurs
Label
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings, Tobias Nipkow (ed.)
Instantiates
Publication
Note
"Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ..."--Pref
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
Origin tracking in term rewriting / Jan Willem Klop -- Simultaneous critical pairs and Church-Rosser property / Satoshi Okui -- Church-Rosser theorems for abstract reduction modulo an equivalence relation / Enno Ohlebusch -- Automatic monoids versus monoids with finite convergent presentations / Friedrich Otto, Andrea Sattler-Klein, Klaus Madlener -- Decidable and undecidable second-order unification problems / Jordi Levy -- On the exponent of periodicity of minimal solutions of context equations / Manfred Schmidt-Schauss, Klaus U. Schulz -- Unification in extensions of shallow equational theories / Florent Jacquemard, Christoph Meyer, Christoph Weidenbach -- Unification and matching in process algebras / Qing Guo, Paliath Narendran, Sandeep K. Shukla -- E-unification for subsystems of S4 / Renate A. Schmidt -- Solving disequations modulo some class of rewrite systems / Sébastien Limet, Pierre Réty -- About proofs by consistency / Hubert Comon -- Normalization of S-terms is decidable / Johannes Waldmann -- Decidable approximations of sets of descendants and sets of normal forms / Thomas Genet -- Algorithms and reductions for rewriting problems / Rakesh M. Verma, Michael Rusinowitsch, Denis Lugiez -- The decidability of simultaneous rigid e-unification with one variable / Anatoli Degtyarev ... [et al.] -- Ordering constraints over feature trees expressed in second-order monadic logic / Martin Müller, Joachim Niehren -- Co-definite set constraints / Witold Charatonik, Andreas Podelski -- Modularity of termination using dependency pairs / Thomas Arts, Jürgen Giesl -- Termination of associative-commutative rewriting by dependency pairs / Claude Marché, Xavier Urbain -- Termination transformation by tree lifting ordering / Takahito Aoto, Yoshihito Toyama -- Towards automated termination proofs through "freezing" / Hongwei Xi -- Higher-order rewriting and partial evaluation / Olivier Danvy, Kristoffer Høgsbro Rose -- SN combinators and partial combinatory algebras / Yohji Akama -- Coupling saturation-based provers by exchanging positive/negative information / Dirk Fuchs -- An on-line problem database / Nachum Dershowitz, Ralf Treinen
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 342 pages
Isbn
9783540643012
Lccn
98006357
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Specific material designation
remote
System control number
  • (OCoLC)38580117
  • (OCoLC)ocm38580117
Label
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings, Tobias Nipkow (ed.)
Publication
Note
"Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ..."--Pref
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
Origin tracking in term rewriting / Jan Willem Klop -- Simultaneous critical pairs and Church-Rosser property / Satoshi Okui -- Church-Rosser theorems for abstract reduction modulo an equivalence relation / Enno Ohlebusch -- Automatic monoids versus monoids with finite convergent presentations / Friedrich Otto, Andrea Sattler-Klein, Klaus Madlener -- Decidable and undecidable second-order unification problems / Jordi Levy -- On the exponent of periodicity of minimal solutions of context equations / Manfred Schmidt-Schauss, Klaus U. Schulz -- Unification in extensions of shallow equational theories / Florent Jacquemard, Christoph Meyer, Christoph Weidenbach -- Unification and matching in process algebras / Qing Guo, Paliath Narendran, Sandeep K. Shukla -- E-unification for subsystems of S4 / Renate A. Schmidt -- Solving disequations modulo some class of rewrite systems / Sébastien Limet, Pierre Réty -- About proofs by consistency / Hubert Comon -- Normalization of S-terms is decidable / Johannes Waldmann -- Decidable approximations of sets of descendants and sets of normal forms / Thomas Genet -- Algorithms and reductions for rewriting problems / Rakesh M. Verma, Michael Rusinowitsch, Denis Lugiez -- The decidability of simultaneous rigid e-unification with one variable / Anatoli Degtyarev ... [et al.] -- Ordering constraints over feature trees expressed in second-order monadic logic / Martin Müller, Joachim Niehren -- Co-definite set constraints / Witold Charatonik, Andreas Podelski -- Modularity of termination using dependency pairs / Thomas Arts, Jürgen Giesl -- Termination of associative-commutative rewriting by dependency pairs / Claude Marché, Xavier Urbain -- Termination transformation by tree lifting ordering / Takahito Aoto, Yoshihito Toyama -- Towards automated termination proofs through "freezing" / Hongwei Xi -- Higher-order rewriting and partial evaluation / Olivier Danvy, Kristoffer Høgsbro Rose -- SN combinators and partial combinatory algebras / Yohji Akama -- Coupling saturation-based provers by exchanging positive/negative information / Dirk Fuchs -- An on-line problem database / Nachum Dershowitz, Ralf Treinen
Dimensions
24 cm.
Dimensions
unknown
Extent
x, 342 pages
Isbn
9783540643012
Lccn
98006357
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Specific material designation
remote
System control number
  • (OCoLC)38580117
  • (OCoLC)ocm38580117

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 ...