Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alberto Verdejo, Narciso Martí-Oliet |
Basic completion strategies as another application of the Maude strategy language ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011., pp. 17-36, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hans Zantema |
Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011., pp. 69-76, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Walid Belkhir, Alain Giorgetti |
Lazy AC-Pattern Matching for Rewriting ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011., pp. 37-51, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Raffelsieper |
Productivity of Non-Orthogonal Term Rewrite Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011., pp. 53-67, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Plump |
The Design of GP 2 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011., pp. 1-16, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Escobar 0001 (eds.) |
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner |
Extensional and Intensional Strategies ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009., pp. 1-19, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maribel Fernández (eds.) |
Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Bonelli, Pablo Barenbaum |
Superdevelopments for Weak Reduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009., pp. 20-31, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009., pp. 69-82, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ariel Gonzalez, Carlos Luna 0001 |
Specification of Products and Product Lines ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009., pp. 44-55, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Besik Dundua, Temur Kutsia, Mircea Marin |
Strategies in PRholog ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009., pp. 32-43, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hans Zantema, Matthias Raffelsieper |
Stream Productivity by Outermost Termination ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009., pp. 83-95, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich, Felix Schernhammer |
Extending Context-Sensitivity in Term Rewriting ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009., pp. 56-68, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Yoshihito Toyama (eds.) |
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom |
Vicious Circles in Orthogonal Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 65-77, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001 |
Maude's Internal Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 11-15, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel |
Programmable Rewriting Strategies in Haskell: -- White Paper --. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 101-112, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen Ketema |
Some Undecidable Approximations of TRSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 51-63, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Strategies in Programming Languages Today. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 113-118, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Yoshihito Toyama |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Irène Durand |
A Tool for Term Rewrite Systems and Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 29-49, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Claude Kirchner |
Strategic Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 3-9, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy |
From Reduction-based to Reduction-free Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 79-100, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001, Manuel Roldán, Antonio Vallecillo |
Invariant-Driven Strategies for Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004, pp. 17-28, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mizuhito Ogawa |
Call-by-need reduction for membership conditional term rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 673-688, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich, Salvador Lucas |
Preface: 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 567-569, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Clavel |
Strategies and user interfaces in Maude at work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 570-592, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Lengrand |
Call-by-value, call-by-name, and strong normalization for the classical sequent calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 714-730, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Sousa Pinto |
Weak reduction and garbage collection in interaction nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 625-640, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Giesl, Hans Zantema |
Simulating liveness by reduction strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 641-656, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Monica Nesi, Giuseppina Rucci, Massimo Verdesca |
A rewriting strategy for protocol verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 657-672, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Zurab Khasidashvili, John R. W. Glauert |
An Abstract Concept of Optimal Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 689-713, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack |
Rewrite strategies in the rewriting calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings, pp. 593-624, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich, Salvador Lucas (eds.) |
3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Karina Olmos, Eelco Visser |
Strategies for Source-to-Source Constant Progagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 156-175, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Aart Middeldorp |
Approximations for Strategies and Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 1-20, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Réty, Julie Vuotto |
Regular Sets of Descendants by Leftmost Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 176-195, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich, Salvador Lucas |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 196-197, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal |
An Operational Semantics for Declarative Multi-Paradigm Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 62-83, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mark van den Brand, Paul Klint, Jurgen J. Vinju |
Term Rewriting with Type-safe Traversal Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 100-117, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | John R. W. Glauert, Zurab Khasidashvili |
An Abstract Böhm-normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 118-134, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 84-99, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Vincent van Oostrom, Roel C. de Vrijer |
Four equivalent equivalences of reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 21-61, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel |
The Sketch of a Polymorphic Symphony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings, pp. 135-155, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich, Salvador Lucas (eds.) |
2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Sergio Antoy |
Evaluation Strategies for Functional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 1-16, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Paul Klint |
Is Strategic Programming a Viable Paradigm? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 196-200, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Quang Huy Nguyen 0002 |
Compact Normalisation Trace via Lazy Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 87-108, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Eelco Visser |
A Survey of Strategies in Program Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 109-143, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | René Vestergaard |
The Simple Type Theory of Normalization by Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 163-183, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Francisco J. Correa, Moreno Falaschi |
Declarative Debugging of Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 17-40, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich, Salvador Lucas |
1st International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) - Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 201-202, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida |
Hot Topics in Reduction Strategies - A Panelist's View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 192-195, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jaco van de Pol |
Just-in-time: On Strategy Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 41-63, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel |
Generic Sort-Preserving Traversal Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 64-86, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Johann, Eelco Visser |
Fusing Logic and Control with Local Transformations: An Example Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 144-162, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Reduction Strategies for Declarative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![In: 1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001, pp. 184-191, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich, Salvador Lucas (eds.) |
1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|