default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th WRS@FLoC 2006: Seattle, WA, USA
- Sergio Antoy:
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(10), Elsevier 2007 - Sergio Antoy:
Preface. 1-2 - Richard B. Kieburtz:
Programmed Strategies for Program Verification. 3-38 - Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot:
From Functional Programs to Interaction Nets via the Rewriting Calculus. 39-56 - Sandra Alves
, Maribel Fernández, Mário Florido, Ian Mackie:
The Power of Closed Reduction Strategies. 57-74 - Naoki Nishida, Tomohiro Mizutani, Masahiko Sakai:
Transformation for Refining Unraveled Conditional Term Rewriting Systems. 75-95 - Claudio Sacerdoti Coen:
Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I. 97-118 - Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén:
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. 119-137 - Muck van Weerdenburg:
An Account of Implementing Applicative Term Rewriting. 139-155
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-10-31 20:22 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:
