Rewriting techniques and applications. 13th international conference, RTA 2002, Copenhagen, Denmark, July 22--24, 2002. Proceedings
type: Item
instance of: scholarly article
title: Rewriting techniques and applications. 13th international conference, RTA 2002, Copenhagen, Denmark, July 22--24, 2002. Proceedings
zbMATH Open document ID: 0992.00043
published in: Lecture Notes in Computer Science
publication date: 2002-08-27T00:00:00Z
review text: The articles of this volume will be reviewed individually. The preceding conference (12th, 2001) has been reviewed (see Zbl 0967.00070). Indexed articles: \textit{Shankar, Natarajan; Rueß, Harald}, Combining Shostak theories, 1-18 [Zbl 1045.03015] \textit{Mitchell, John C.}, Multiset rewriting and security protocol analysis, 19-22 [Zbl 1045.68582] \textit{Baader, Franz}, Engineering of logics for the content-based representation of information, 23 [Zbl 1045.03512] \textit{Melliès, Paul-André}, Axiomatic rewriting theory. VI: Residual theory revisited., 24-50 [Zbl 1045.68075] \textit{Kennaway, Richard; Khasidashvili, Zurab; Piperno, Adolfo}, Static analysis of modularity of \(\beta\)-reduction in the hyperbalanced \(\lambda\)-calculus., 51-65 [Zbl 1045.03018] \textit{Faure, Germain; Kirchner, Claude}, Exceptions in the rewriting calculus, 66-82 [Zbl 1045.68069] \textit{Struth, Georg}, Deriving focused lattice calculi., 83-97 [Zbl 1045.03016] \textit{Seki, Hiroyuki; Takai, Toshinori; Fujinaka, Youhei; Kaji, Yuichi}, Layered transducing term rewriting system and its recognizability preserving property, 98-113 [Zbl 1045.68076] \textit{Ohsaki, Hitoshi; Takai, Toshinori}, Decidability and closure properties of equational tree languages, 114-128 [Zbl 1045.68083] \textit{Réty, Pierre; Vuotto, Julie}, Regular sets of descendants by some rewrite strategies, 129-143 [Zbl 1045.68085] \textit{Waldmann, Johannes}, Rewrite games, 144-158 [Zbl 1045.68078] \textit{Severi, Paula; de Vries, Fer-Jan}, An extensional Böhm model, 159-173 [Zbl 1169.03329] \textit{Forest, Julien}, A weak calculus with explicit operators for pattern matching and substitution, 174-191 [Zbl 1045.68070] \textit{Liang, Chuck; Nadathur, Gopalan}, Tradeoffs in the intensional representation of lambda terms, 192-206 [Zbl 1045.68530] \textit{Déharbe, David; Moreira, Anamaria Martins; Ringeissen, Christophe}, Improving symbolic model checking by rewriting temporal logic formulae, 207-221 [Zbl 1045.68091] \textit{Voi…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1789463
zbMATH Keywords: Copenhagen (Denmark)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: RTA 2002
zbMATH Keywords: Rewriting techniques
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1789463