default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th WRLA 2008: Budapest, Hungary
- Grigore Rosu:
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008. Electronic Notes in Theoretical Computer Science 238(3), Elsevier 2009 - Grigore Rosu:
Preface. 1-3 - Oana Agrigoroaiei, Gabriel Ciobanu
:
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. 5-22 - Oana Andrei, Dorel Lucanu:
Strategy-Based Proof Calculus for Membrane Systems. 23-43 - Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Hierarchical Design Rewriting with Maude. 45-62 - Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo:
A Declarative Debugger for Maude Functional Modules. 63-81 - Francisco Durán, Peter Csaba Ölveczky:
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. 83-102 - Santiago Escobar, José Meseguer, Ralf Sasse:
Variant Narrowing and Equational Unification. 103-119 - Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras:
Patterns for Maude Metalanguage Applications. 121-138 - Lars Helge Haß, Thomas Noll:
Equational Abstractions for Reducing the State Space of Rewrite Theories. 139-154 - Mark Hills:
Memory Representations in Rewriting Logic Semantics Definitions. 155-172 - Bjarne Holen, Einar Broch Johnsen, Arild Waaler:
Proof Search for the First-Order Connection Calculus in Maude. 173-188 - Matthias M. Hölzl, Max Meier, Martin Wirsing:
Which Soft Constraints do you Prefer? 189-205 - Salvador Lucas, José Meseguer:
Operational Termination of Membership Equational Programs: the Order-Sorted Way. 207-225 - Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
A Rewriting Semantics for Maude Strategies. 227-247 - Adrián Riesco, Alberto Verdejo:
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. 249-266 - Dilia E. Rodríguez:
Combining Techniques to Reduce State Space and Prove Strong Properties. 267-280 - Francisco Durán, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser:
The Second Rewrite Engines Competition. 281-291
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-08-06 22:37 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
