The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18--20, 2000 (Q5926510)

The articles of this volume will be reviewed individually. The preceding workshop (2nd, 1998) has been reviewed (see Zbl 0903.00070).NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\textit{Leucker, Martin; Noll, Thomas}, Rewriting logic as a framework for generic verification tools, 17 p., electronic only [Zbl 0962.68080]NEWLINENEWLINE\textit{Kulas, M.; Beierle, C.}, Defining standard Prolog in rewriting logic, 17 p., electronic only [Zbl 0962.68079]NEWLINENEWLINE\textit{Nakamura, Masaki; Ogata, Kazuhiro}, The evaluation strategy for head normal form with and without on-demand flags, 17 p., electronic only [Zbl 0962.68083]NEWLINENEWLINE\textit{Rodriguez, Dilia E.}, Case studies in the specification and analysis of protocols in Maude, 17 p., electronic only [Zbl 0962.68105]NEWLINENEWLINE\textit{Ringeissen, Christophe}, Handling relations over finite domains in the rule-based system ELAN, 18 p., electronic only [Zbl 0962.68099]NEWLINENEWLINE\textit{Mason, Ian A.; Talcott, Carolyn L.}, Simple network protocol simulation within Maude, 18 p., electronic only [Zbl 0966.68514]NEWLINENEWLINE\textit{Cirstea, Horatiu; Kirchner, Claude}, The simply typed rewriting calculus, 19 p., electronic only [Zbl 0962.68084]NEWLINENEWLINE\textit{Pattinson, Dirk}, Modal logic for rewriting theories, 19 p., electronic only [Zbl 0965.03038]NEWLINENEWLINE\textit{van den Brand, M. G. J.; Ringeissen, C.}, ASF+SDF parsing tools applied to ELAN, 20 p., electronic only [Zbl 0962.68032]NEWLINENEWLINE\textit{Denker, G.; Meseguer, J.; Talcott, C.}, Rewriting semantics of meta-objects and composable distributed services, 21 p., electronic only [Zbl 0962.68081]NEWLINENEWLINE\textit{Goguen, Joseph; Lin, Kai; Rosu, Grigore}, Behavioral and coinductive rewriting, 22 p., electronic only [Zbl 0962.68078]NEWLINENEWLINE\textit{Basin, David; Denker, Grit}, Maude versus Haskell: An experimental comparison in security protocol analysis, 22 p., electronic only [Zbl 0962.68056]NEWLINENEWLINE\textit{Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F.}, Towards Maude 2. 0, 22 p., electronic only [Zbl 0962.68108]NEWLINENEWLINE\textit{Clavel, M.; Duran, F.; Marti-Oliet, N.}, Polytypic programming in Maude, 22 p., electronic only [Zbl 0962.68030]NEWLINENEWLINE\textit{Olveczky, Peter Csaba; Meseguer, Jose}, Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems, 22 p., electronic only [Zbl 0962.68109]NEWLINENEWLINE\textit{Verdejo, Alberto; Pita, Isabel; Marti-Oliet, Narciso}, The leader election protocol of IEEE 1394 in Maude, 22 p., electronic only [Zbl 0962.68107]NEWLINENEWLINE\textit{Stehr, Mark-Oliver}, CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi, 23 p., electronic only [Zbl 0966.68147]NEWLINENEWLINE\textit{Duran, Francisco; Meseguer, Jose}, Parameterized theories and views in full Maude 2. 0, 23 p., electronic only [Zbl 0962.68106]NEWLINENEWLINE\textit{Hilberdink, Hendrik}, New foundations for rewriting logic, 27 p., electronic only [Zbl 0966.68088]NEWLINENEWLINE\textit{Kirchner, Helene; Gnaedig, Isabelle}, Termination and normalisation under strategy proofs in ELAN, 28 p., electronic only [Zbl 0962.68082]NEWLINENEWLINE\textit{Millen, J.}, Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk), 6 p., electronic only [Zbl 0962.68057]