Return to home page
Searching: Muskingum library catalog
We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
Record 6 of 7
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Title Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings / Tobias Nipkow (ed.).
Imprint Berlin ; New York : Springer, 1998.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Series Lecture notes in computer science, 0302-9743 ; 1379.
Lecture notes in computer science ; 1379.
Subject Rewriting systems (Computer science) -- Congresses.
Algorithms -- Congresses.
Computer programming -- Congresses.
Alt Name Nipkow, Tobias, 1958-
Ohio Library and Information Network.
International Conference on Rewriting Techniques and Applications (9th : 1998 : Tsukuba-shi, Japan)
Description x, 342 pages ; 24 cm.
monochrome rdacc
Note "Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ... "--Pref
Bibliography Note Includes bibliographical references and index.
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 / Sebastien Limet, Pierre Rety -- 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 [and others] -- Ordering constraints over feature trees expressed in second-order monadic logic / Martin Muller, Joachim Niehren -- Co-definite set constraints / Witold Charatonik, Andreas Podelski -- Modularity of termination using dependency pairs / Thomas Arts, Jurgen Giesl -- Termination of associative-commutative rewriting by dependency pairs / Claude Marche, 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 Hgsbro 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.
Access Available to OhioLINK libraries
Reproduction Electronic reproduction. Columbus, OH : OhioLINK, 2008.
System Details Mode of access: World Wide Web
ISBN 354064301X (alk. paper)
9783540643012 (alk. paper)
OCLC # 690010128
Link OhioLINK electronic book center (OCoLC)180989150.
SpringerLink (OCoLC)43927870.
Additional Format Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings (OCoLC)38580117.



If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team