Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Conference on Rewriting, Deduction, and Programming (RDP)
Federated Conference on Rewriting, Deduction and Programming
4th RDP 2007: Paris, France
- Jürgen Giesl:
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007. Electronic Notes in Theoretical Computer Science 204, Elsevier 2008 [contents] - Rachid Echahed:
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007. Electronic Notes in Theoretical Computer Science 216, Elsevier 2008 [contents] - Joost Visser, Victor Winter:
Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007. Electronic Notes in Theoretical Computer Science 219, Elsevier 2008 [contents]
3rd RDP 2005: Nara, Japan
- Jürgen Giesl
:
Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings. Lecture Notes in Computer Science 3467, Springer 2005, ISBN 3-540-25596-6 [contents] - Pawel Urzyczyn:
Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings. Lecture Notes in Computer Science 3461, Springer 2005, ISBN 3-540-25593-1 [contents] - Horatiu Cirstea, Narciso Martí-Oliet:
Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005. Electronic Notes in Theoretical Computer Science 147(1), Elsevier 2006 [contents]
2nd RDP 2004: Aachen, Germany
- Vincent van Oostrom:
Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings. Lecture Notes in Computer Science 3091, Springer 2004, ISBN 3-540-22153-0 [contents] - Slim Abdennadher, Christophe Ringeissen:
Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004. Electronic Notes in Theoretical Computer Science 124(1), Elsevier 2005 [contents] - Sergio Antoy, Yoshihito Toyama:
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004. Electronic Notes in Theoretical Computer Science 124(2), Elsevier 2005 [contents]
1st RDP 2003: Valencia, Spain
- Robert Nieuwenhuis:
Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings. Lecture Notes in Computer Science 2706, Springer 2003, ISBN 3-540-40254-3 [contents] - Martin Hofmann:
Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Lecture Notes in Computer Science 2701, Springer 2003, ISBN 3-540-40332-9 [contents] - Ingo Dahn, Laurent Vigneron:
4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003. Electronic Notes in Theoretical Computer Science 86(1), Elsevier 2003 [contents] - Jean-Louis Giavitto, Pierre-Etienne Moreau:
4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003. Electronic Notes in Theoretical Computer Science 86(2), Elsevier 2003 [contents] - Lubos Brim, Orna Grumberg:
12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003. Electronic Notes in Theoretical Computer Science 86(3), Elsevier 2003 [contents] - Bernhard Gramlich, Salvador Lucas:
3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings. Electronic Notes in Theoretical Computer Science 86(4), Elsevier 2003 [contents]
a service of 
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-04-26 18:34 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:
