default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd WRS 2002: Copenhagen, Denmark
- Bernhard Gramlich, Salvador Lucas:
2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings. Electronic Notes in Theoretical Computer Science 70(6), Elsevier 2002 - Aart Middeldorp
:
Approximations for Strategies and Termination. 1-20 - Vincent van Oostrom, Roel C. de Vrijer:
Four equivalent equivalences of reductions. 21-61 - Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
An Operational Semantics for Declarative Multi-Paradigm Languages. 62-83 - Mauricio Ayala-Rincón, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein:
Applying ELAN Strategies in Simulating Processors over Simple Architectures. 84-99 - Mark van den Brand, Paul Klint, Jurgen J. Vinju:
Term Rewriting with Type-safe Traversal Functions. 100-117 - John R. W. Glauert, Zurab Khasidashvili:
An Abstract Böhm-normalization. 118-134 - Ralf Lämmel:
The Sketch of a Polymorphic Symphony. 135-155 - Karina Olmos, Eelco Visser:
Strategies for Source-to-Source Constant Progagation. 156-175 - Pierre Réty, Julie Vuotto:
Regular Sets of Descendants by Leftmost Strategy. 176-195 - Bernhard Gramlich, Salvador Lucas:
Preface. 196-197
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 2024-11-13 23:59 CET 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:
