Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007865206/catalog> ?p ?o. }

• catalog abstract "This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.".
• catalog contributor b10890279.
• catalog contributor b10890280.
• catalog created "1998.".
• catalog date "1998".
• catalog date "1998.".
• catalog dateCopyrighted "1998.".
• catalog description "Includes bibliographical references and index.".
• catalog description "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 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 -- ".
• catalog description "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 -- ".
• catalog description "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.".
• catalog description "This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.".
• catalog extent "x, 342 p. ;".
• catalog identifier "354064301X (alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1379".
• catalog issued "1998".
• catalog issued "1998.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.13/1 21".
• catalog subject "Algorithms Congresses.".
• catalog subject "Artificial intelligence.".
• catalog subject "Computer programming Congresses.".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "Logic, Symbolic and mathematical.".
• catalog subject "QA267 .R48 1998".
• catalog subject "Rewriting systems (Computer science) Congresses.".
• catalog tableOfContents "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 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 -- ".
• catalog tableOfContents "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 -- ".
• catalog tableOfContents "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.".
• catalog title "Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings / Tobias Nipkow (ed.).".
• catalog type "Conference proceedings. fast".
• catalog type "text".