Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings
type: Item
instance of: scholarly article
title: Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings
zbMATH Open document ID: 0888.00017
published in: Lecture Notes in Computer Science
publication date: 1998-05-15T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1360.68009]. Indexed articles: \textit{Otto, Friedrich; Sattler-Klein, Andrea; Madlener, Klaus}, Automatic monoids versus monoids with finite convergent presentations, 32-46 [Zbl 0914.20052] \textit{Levy, Jordi}, Decidable and undecidable second-order unification problems, 47-60 [Zbl 0901.03013] \textit{Schmidt-Schauß, Manfred; Schulz, Klaus U.}, On the exponent of periodicity of minimal solutions of context equations, 61-75 [Zbl 0901.03034] \textit{Jacquemard, Florent; Meyer, Christoph; Weidenbach, Christoph}, Unification in extensions of shallow equational theories, 76-90 [Zbl 0903.03008] \textit{Guo, Qing; Narendran, Paliath; Shukla, Sandeep K.}, Unification and matching in process algebras, 91-105 [Zbl 0905.68091] \textit{Schmidt, Renate A.}, \(E\)-unification for subsystems of \(S4\), 106-120 [Zbl 0903.03013] \textit{Limet, Sébastien; Réty, Pierre}, Solving disequations modulo some class of rewrite systems, 121-135 [Zbl 0906.03008] \textit{Waldmann, Johannes}, Normalization of S-terms is decidable, 138-150 [Zbl 0903.03019] \textit{Degtyarev, Anatoli; Gurevich, Yuri; Narendran, Paliath; Veanes, Margus; Voronkov, Andrei}, The decidability of simultaneous rigid \(E\)-unification with one variable, 181-195 [Zbl 0903.03007] \textit{Müller, Martin; Niehren, Joachim}, Ordering constraints over feature trees expressed in second-order monadic logic, 196-210 [Zbl 0903.03006] \textit{Akama, Yohji}, SN combinators and partial combinatory algebras, 302-316 [Zbl 0903.03018]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1153129
zbMATH Keywords: Tsukuba (Japan)
zbMATH Keywords: Conference
zbMATH Keywords: Proceedings
zbMATH Keywords: RTA-98
zbMATH Keywords: Rewriting techniques
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1153129