Title: Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings /
Authors: Narendran, Paliath, 1955-; Rusinowitch, M.
Publisher: Springer,
Year: 1999
Subjects: Rewriting systems (Computer science) Congresses.; Computer programming Congresses; Algorithms Congresses; Computer science; Logic design.; Algebra Data processing; Artificial intelligence
Abstract: This volume contains the proceedings of the 10th International Conference on RewritingTechniques andApplicationsheldfromJuly2-4,1999inTrento, Italy, as part of the Federated Logic Conference (FLoC’99). The RTAconferences are dedicated to all aspects of term, string and graph rewriting as well as their applications such as lambda calculi, theorem-proving, functional programming, decision procedures. The program committee selected 23 papers as well as 4 system descriptions from 53 submissions of overall high quality (46 regular papers and 7 systems descriptions). The papers cover awide range of topics: constraint solving, ter- nation,deductionandhigher-orderrewriting,graphs,complexity,tree automata, context-sensitive rewriting, string rewriting and numeration systems::: by - thors from countries including: France, Germany, India,Israel, Italy,Japan, The Netherlands, Poland, Portugal, Spain, USA. B. Courcelle (Univ. Bordeaux) and F. Otto (Univ. Kassel) presented - vited talks, on graph grammars and connections between rewriting and formal language theory respectively. F. van Raamsdonk (CWI, Amsterdam) gave an invited tutorial on higher-order rewriting. Wewouldliketothanktheexternalreviewersfortheircontributiontoprep- ing the program and Horatiu Cirstea for his help in maintaining the web server of the program committee.
Contents: Solved forms for path ordering constraints / Robert Nieuwenhuis and José Miguel Rivero -- Jeopardy / Nachum Dershowitz and Subrata Mitra -- Strategic pattern matching / Eelco Visser -- On the strong normalization of natural deduction with permutation-conversions / Philippe de Groote -- Normalization in weakly orthogonal rewriting / Vincent van Oostrom -- Strong normalization of proof nets modulo structural congruences / Roberto Di Cosmo and Stefano Guerrini -- Hierarchical graph decompositions defined by grammars and logical formulas / Bruno Courcelle -- Undecidability of the part of the theory of ground term algebra modulo an AC symbol / Jerzy Marcinkowski ... Deciding the satisfiability of quantifier free formulae on one-step rewriting / Anne-Cécile Caron [and others] -- A new result about the decidability of the existential one-step rewriting theory / Sébastien Limet and Pierre Réty -- A fully syntactic AC-RPO / Albert Rubio -- Theory path orderings / Jürgen Stuber --^