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). Indexed articles: \textit{Leucker, Martin; Noll, Thomas}, Rewriting logic as a framework for generic verification tools, 17 p., electronic only [Zbl 0962.68080] \textit{Kulas, M.; Beierle, C.}, Defining standard Prolog in rewriting logic, 17 p., electronic only [Zbl 0962.68079] \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] \textit{Rodriguez, Dilia E.}, Case studies in the specification and analysis of protocols in Maude, 17 p., electronic only [Zbl 0962.68105] \textit{Ringeissen, Christophe}, Handling relations over finite domains in the rule-based system ELAN, 18 p., electronic only [Zbl 0962.68099] \textit{Mason, Ian A.; Talcott, Carolyn L.}, Simple network protocol simulation within Maude, 18 p., electronic only [Zbl 0966.68514] \textit{Cirstea, Horatiu; Kirchner, Claude}, The simply typed rewriting calculus, 19 p., electronic only [Zbl 0962.68084] \textit{Pattinson, Dirk}, Modal logic for rewriting theories, 19 p., electronic only [Zbl 0965.03038] \textit{van den Brand, M. G. J.; Ringeissen, C.}, ASF+SDF parsing tools applied to ELAN, 20 p., electronic only [Zbl 0962.68032] \textit{Denker, G.; Meseguer, J.; Talcott, C.}, Rewriting semantics of meta-objects and composable distributed services, 21 p., electronic only [Zbl 0962.68081] \textit{Goguen, Joseph; Lin, Kai; Rosu, Grigore}, Behavioral and coinductive rewriting, 22 p., electronic only [Zbl 0962.68078] \textit{Basin, David; Denker, Grit}, Maude versus Haskell: An experimental comparison in security protocol analysis, 22 p., electronic only [Zbl 0962.68056] \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] \textit{Clavel, M.; Duran, F.; Marti-Oliet, N.}, Polytypic programming in Maude, 22 p., electronic only [Zbl 0962.68030] \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] \textit{Verdejo, Alberto; Pita, Isabel; Marti-Oliet, Narciso}, The leader election protocol of IEEE 1394 in Maude, 22 p., electronic only [Zbl 0962.68107] \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] \textit{Duran, Francisco; Meseguer, Jose}, Parameterized theories and views in full Maude 2. 0, 23 p., electronic only [Zbl 0962.68106] \textit{Hilberdink, Hendrik}, New foundations for rewriting logic, 27 p., electronic only [Zbl 0966.68088] \textit{Kirchner, Helene; Gnaedig, Isabelle}, Termination and normalisation under strategy proofs in ELAN, 28 p., electronic only [Zbl 0962.68082] \textit{Millen, J.}, Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk), 6 p., electronic only [Zbl 0962.68057]