Rewriting techniques and applications. 10th international conference, RTA-99. Trento, Italy, July 2--4, 1999. Proceedings (Q1294616)

The articles of mathematical interest will be reviewed individually. The preceding conference (9th, 1998) has been announced (see Zbl 0888.00017). Indexed articles: \textit{Nieuwenhuis, Robert; Rivero, José Miguel}, Solved forms for path ordering constraints, 1-15 [Zbl 0943.68087] \textit{de Groote, Philippe}, On the strong normalisation of natural deduction with permutation-conversions, 45-59 [Zbl 0939.03061] \textit{Di Cosmo, Roberto; Guerrini, Stefano}, Strong normalization of proof nets modulo structural congruences, 75-89 [Zbl 0939.03068] \textit{Marcinkowski, Jerzy}, Undecidability of the \(\exists^*\forall^*\) part of the theory of ground term algebra modulo an AC symbol, 92-102 [Zbl 0939.03013] \textit{Caron, Anne-Cécile; Seynhaeve, Franck; Tison, Sophie; Tommasi, Marc}, Deciding the satisfiability of quantifier free formulae on one-step rewriting, 103-117 [Zbl 0939.03011] \textit{Limet, Sébastien; Réty, Pierre}, A new result about the decidability of the existential one-step rewriting theory, 118-132 [Zbl 0939.03012] \textit{Rubio, Albert}, A fully syntactic AC-RPO, 133-147 [Zbl 0943.68088] \textit{Stuber, Jürgen}, Theory path orderings, 148-162 [Zbl 0943.68089] \textit{Touzet, Hélène}, A characterization of multiply recursive functions with Higman's lemma, 163-174 [Zbl 0939.03043] \textit{Baader, Franz; Tinelli, Cesare}, Deciding the word problem in the union of equational theories sharing constructors, 175-189 [Zbl 0976.03051] \textit{Bachmair, L.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Tiwari, A.}, Normalization via rewrite closures, 190-204 [Zbl 0943.68090] \textit{Hofbauer, Dieter; Huber, Maria}, Test sets for the universal and existential closure of regular tree languages, 205-219 [Zbl 0943.68100] \textit{van Raamsdonk, Femke}, Higher-order rewriting, 220-239 [Zbl 0939.68063] \textit{Nagaya, Takashi; Toyama, Yoshihito}, Decidability for left-linear growing term rewriting systems, 256-270 [Zbl 0943.68091] \textit{Ferreira, M. C. F.; Ribeiro, A. L.}, Context-sensitive AC-rewriting, 286-300 [Zbl 0946.68068] \textit{Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro}, The calculus of algebraic constructions, 301-316 [Zbl 0943.68153] \textit{Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude}, HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic, 317-331 [Zbl 0944.03007] \textit{Otto, Friedrich}, On the connections between rewriting and formal language theory,, 332-355 [Zbl 0943.68101] \textit{Frougny, Christiane; Sakarovitch, Jacques}, A rewrite system associated with quadratic Pisot units, 356-370 [Zbl 0939.68064] \textit{Saubion, Frédéric; Stéphan, Igor}, On implementation of tree synchronized languages, 382-396 [Zbl 0943.68102]