default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd WRLA 2000: Kanzawa, Japan
- Kokichi Futatsugi:
The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000. Electronic Notes in Theoretical Computer Science 36, Elsevier 2000 - Kokichi Futatsugi:
Preface. 1 - Joseph A. Goguen, Kai Lin, Grigore Rosu:
Behavioral and Coinductive Rewriting. 2-23 - Horatiu Cirstea, Claude Kirchner:
The simply typed rewriting calculus. 24-42 - Hendrik Hilberdink:
New Foundations for Rewriting Logic. 43-69 - Mark-Oliver Stehr:
CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi. 70-92 - Hélène Kirchner, Isabelle Gnaedig:
Termination and normalisation under strategy Proofs in ELAN. 93-120 - Martin Leucker
, Thomas Noll:
Rewriting Logic as a Framework for Generic Verification Tools. 121-137 - Mark van den Brand, Christophe Ringeissen:
ASF+SDF parsing tools applied to ELAN. 138-157 - Marija Kulas, Christoph Beierle:
Defining Standard Prolog in Rewriting Logic. 158-174 - Dirk Pattinson:
Modal Logic for Rewriting Theories. 175-193 - Christophe Ringeissen:
Handling Relations over Finite Domains in the Rule-Based System ELAN. 194-211 - Masaki Nakamura, Kazuhiro Ogata:
The evaluation strategy for head normal form with and without on-demand flags. 212-228 - Jonathan K. Millen:
Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk. 229-234 - David A. Basin, Grit Denker:
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. 235-256 - Dilia E. Rodríguez:
Case Studies in the Specification and Analysis of Protocols in Maude. 257-273 - Ian A. Mason, Carolyn L. Talcott:
Simple Network Protocol Simulation within Maude. 274-291 - Hideyuki Nakashima:
Cyber Assistance for Situtated Human Information Processing Overview of the invited talk. 292-293 - Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Towards Maude 2.0. 294-315 - Francisco Durán, José Meseguer:
Parameterized Theories and Views in Full Maude 2.0. 316-338 - Manuel Clavel, Francisco Durán, Narciso Martí-Oliet:
Polytypic Programming in Maude. 339-360 - Peter Csaba Ölveczky, José Meseguer:
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. 361-382 - Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet:
The Leader Election Protocol of IEEE 1394 in Maude. 383-404 - Grit Denker, José Meseguer, Carolyn L. Talcott:
Rewriting Semantics of Meta-Objects and Composable Distributed Services. 405-425
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-09 00:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
