Tools

LEADER 03763cam 2200385 a 4500

001 ocm38580117;

003 OCoLC;

005 20141212131141.0;

008 980305s1998 gw b 101 0 eng ;

010 a| 98006357;

020 a| 354064301X (alk. paper);

035 a| (Sirsi) o38580117;

035 a| (OCoLC)38580117;

049 a| EREE;

050 00 a| QA267b| .R48 1998;

082 00 a| 005.13/12| 21;

245 00 a| Rewriting techniques and applications :b| 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings /c| Tobias Nipkow (ed.).;

260 a| Berlin ;a| New York :b| Springer,c| 1998.;

300 a| x, 342 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1379;

500 a| "Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ... "--Pref.;

504 a| Includes bibliographical references and index.;

505 0 a| 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-Schauβ, 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 / Sébastien Limet, Pierre Ré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 Müller, Joachim Niehren -- Co-definite set constraints / Witold Charatonik, Andreas Podelski -- Modularity of termination using dependency pairs / Thomas Arts, Jürgen 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 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.;

650 0 a| Computer programmingv| Congresses.=| ^A34403;

650 0 a| Algorithmsv| Congresses.=| ^A26574;

700 1 a| Nipkow, Tobias,d| 1958-=| ^A354447;

711 2 a| International Conference on Rewriting Techniques and Applicationsn| (9th :d| 1998 :c| Tsukuba-shi, Japan)?| UNAUTHORIZED;

830 0 a| Lecture notes in computer sciencev| 1379.=| ^A466336;

596 a| 1;

998 a| 646150;

999 a| QA267 .R48 1998w| LCc| 1i| 30372010112727d| 4/25/1999l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/12/1999x| BOOKz| JSTACKSo| .STAFF. 0;

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

Other author	Nipkow, Tobias, 1958-
Other author	International Conference on Rewriting Techniques and Applications 1998 : Tsukuba-shi, Japan)
Format	Book
Publication Info	Berlin ; New York : Springer, 1998.
Description	x, 342 pages ; 24 cm.
Subjects	Computer programming--Congresses. Algorithms--Congresses.

Series	Lecture notes in computer science ; 1379 Lecture notes in computer science 1379. ^A466336
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-Schauβ, 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 / Sébastien Limet, Pierre Ré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 Müller, Joachim Niehren -- Co-definite set constraints / Witold Charatonik, Andreas Podelski -- Modularity of termination using dependency pairs / Thomas Arts, Jürgen 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 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.
General note	"Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ... "--Pref.
Bibliography note	Includes bibliographical references and index.
LCCN	98006357
ISBN	354064301X (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA267 .R48 1998	✔ Available	Place Hold

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

Click here for more information about this title

Availability