Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/rdp:"
download as .bib file
@proceedings{DBLP:conf/rule/2007,
editor = {Joost Visser and
Victor Winter},
title = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/219/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rule/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wflp/2007,
editor = {Rachid Echahed},
title = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/216/suppl/C},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrs/2007,
editor = {J{\"{u}}rgen Giesl},
title = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/204/suppl/C},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wrs/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlmeidaPV08,
author = {Jos{\'{e}} Bacelar Almeida and
Jorge Sousa Pinto and
Miguel Vila{\c{c}}a},
editor = {J{\"{u}}rgen Giesl},
title = {Token-passing Nets for Functional Languages},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {181--198},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.061},
doi = {10.1016/J.ENTCS.2008.03.061},
timestamp = {Mon, 13 Feb 2023 13:51:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlmeidaPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlmeidaPV08a,
author = {Jos{\'{e}} Bacelar Almeida and
Jorge Sousa Pinto and
Miguel Vila{\c{c}}a},
editor = {Joost Visser and
Victor Winter},
title = {A Tool for Programming with Interaction Nets},
booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
pages = {83--96},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.036},
doi = {10.1016/J.ENTCS.2008.10.036},
timestamp = {Fri, 17 Feb 2023 10:42:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlmeidaPV08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlvesFMS08,
author = {Sandra Alves and
M{\'{a}}rio Florido and
Ian Mackie and
Fran{\c{c}}ois{-}R{\'{e}}gis Sinot},
editor = {J{\"{u}}rgen Giesl},
title = {Minimality in a Linear Calculus with Iteration},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {163--179},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.060},
doi = {10.1016/J.ENTCS.2008.03.060},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlvesFMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndreiK08,
author = {Oana Andrei and
H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Joost Visser and
Victor Winter},
title = {A Rewriting Calculus for Multigraphs with Ports},
booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
pages = {67--82},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.035},
doi = {10.1016/J.ENTCS.2008.10.035},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AndreiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AppeltauerK08,
author = {Malte Appeltauer and
G{\"{u}}nter Kniesel},
editor = {Joost Visser and
Victor Winter},
title = {Towards Concrete Syntax Patterns for Logic-based Transformation Rules},
booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
pages = {113--132},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.038},
doi = {10.1016/J.ENTCS.2008.10.038},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AppeltauerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaggiB08,
author = {Michele Baggi and
Demis Ballis},
editor = {Rachid Echahed},
title = {Phil: {A} Lazy Implementation of a Language for Approximate Filtering
of {XML} Documents},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {93--109},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.036},
doi = {10.1016/J.ENTCS.2008.06.036},
timestamp = {Fri, 17 Feb 2023 10:24:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaggiB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaldanBCK08,
author = {Paolo Baldan and
Clara Bertolissi and
Horatiu Cirstea and
Claude Kirchner},
editor = {J{\"{u}}rgen Giesl},
title = {Towards a Sharing Strategy for the Graph Rewriting Calculus},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {111--127},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.057},
doi = {10.1016/J.ENTCS.2008.03.057},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaldanBCK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallandMR08,
author = {Emilie Balland and
Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {Joost Visser and
Victor Winter},
title = {Rewriting Strategies in Java},
booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
pages = {97--111},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.037},
doi = {10.1016/J.ENTCS.2008.10.037},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallandMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallisBC08,
author = {Demis Ballis and
Andrea Baruzzo and
Marco Comini},
editor = {Joost Visser and
Victor Winter},
title = {A Rule-based Method to Match Software Patterns Against {UML} Models},
booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
pages = {51--66},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.034},
doi = {10.1016/J.ENTCS.2008.10.034},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallisBC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrasselFH08,
author = {Bernd Bra{\ss}el and
Sebastian Fischer and
Frank Huch},
editor = {Rachid Echahed},
title = {Declaring Numbers},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {111--124},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.037},
doi = {10.1016/J.ENTCS.2008.06.037},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrasselFH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CaballeroGS08,
author = {Rafael Caballero and
Yolanda Garc{\'{\i}}a{-}Ruiz and
Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Rachid Echahed},
title = {A New Proposal for Debugging Datalog Programs},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {79--92},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.035},
doi = {10.1016/J.ENTCS.2008.06.035},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CaballeroGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Echahed08,
author = {Rachid Echahed},
editor = {J{\"{u}}rgen Giesl},
title = {On Term-Graph Rewrite Strategies},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {99--110},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.056},
doi = {10.1016/J.ENTCS.2008.03.056},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Echahed08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Echahed08a,
author = {Rachid Echahed},
editor = {Rachid Echahed},
title = {Preface},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.030},
doi = {10.1016/J.ENTCS.2008.06.030},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Echahed08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GabbayG08,
author = {Murdoch Gabbay and
Michael Gabbay},
editor = {Rachid Echahed},
title = {a-Logic With Arrows},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {3--29},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.031},
doi = {10.1016/J.ENTCS.2008.06.031},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GabbayG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Giesl08,
author = {J{\"{u}}rgen Giesl},
editor = {J{\"{u}}rgen Giesl},
title = {Preface},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.049},
doi = {10.1016/J.ENTCS.2008.03.049},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Giesl08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuernicP08,
author = {Gurvan Le Guernic and
Julien Perret},
editor = {Joost Visser and
Victor Winter},
title = {{FLIC:} Application to Caching of a Dynamic Dependency Analysis for
a 3D Oriented {CRS}},
booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
pages = {3--18},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.031},
doi = {10.1016/J.ENTCS.2008.10.031},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuernicP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuerreroM08,
author = {Juan Antonio Guerrero and
Gin{\'{e}}s Moreno},
editor = {Joost Visser and
Victor Winter},
title = {Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding},
booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
pages = {19--34},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.032},
doi = {10.1016/J.ENTCS.2008.10.032},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuerreroM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IdaMTG08,
author = {Tetsuo Ida and
Mircea Marin and
Hidekazu Takahashi and
Fadoua Ghourabi},
editor = {Rachid Echahed},
title = {Computational Origami Construction as Constraint Solving and Rewriting},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {31--44},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.032},
doi = {10.1016/J.ENTCS.2008.06.032},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IdaMTG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kahramanogullari08,
author = {Ozan Kahramanogullari},
editor = {Joost Visser and
Victor Winter},
title = {Maude as a Platform for Designing and Implementing Deep Inference
Systems},
booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
pages = {35--50},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.033},
doi = {10.1016/J.ENTCS.2008.10.033},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kahramanogullari08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KesterenSE08,
author = {Ron van Kesteren and
Olha Shkaravska and
Marko C. J. D. van Eekelen},
editor = {Rachid Echahed},
title = {Inferring Static Non-monotone Size-aware Types Through Testing},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {45--63},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.033},
doi = {10.1016/J.ENTCS.2008.06.033},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KesterenSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LucanuRG08,
author = {Dorel Lucanu and
Grigore Rosu and
Gheorghe Grigoras},
editor = {J{\"{u}}rgen Giesl},
title = {Regular Strategies as Proof Tactics for {CIRC}},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {83--98},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.055},
doi = {10.1016/J.ENTCS.2008.03.055},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LucanuRG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lux08,
author = {Wolfgang Lux},
editor = {Rachid Echahed},
title = {Declarative Debugging Meets the World},
booktitle = {Proceedings of the 16th International Workshop on Functional and (Constraint)
Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {216},
pages = {65--77},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.06.034},
doi = {10.1016/J.ENTCS.2008.06.034},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lux08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Machkasova08,
author = {Elena Machkasova},
editor = {J{\"{u}}rgen Giesl},
title = {Computational Soundness of a Call by Name Calculus of Recursively-scoped
Records},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {147--162},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.059},
doi = {10.1016/J.ENTCS.2008.03.059},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Machkasova08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MoreauR08,
author = {Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {J{\"{u}}rgen Giesl},
title = {Rules and Strategies in Java},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {71--82},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.054},
doi = {10.1016/J.ENTCS.2008.03.054},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MoreauR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SakaiW08,
author = {Masahiko Sakai and
Yi Wang},
editor = {J{\"{u}}rgen Giesl},
title = {Undecidable Properties on Length-Two String Rewriting Systems},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {53--69},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.053},
doi = {10.1016/J.ENTCS.2008.03.053},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SakaiW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchernhammerG08,
author = {Felix Schernhammer and
Bernhard Gramlich},
editor = {J{\"{u}}rgen Giesl},
title = {Termination of Lazy Rewriting Revisited},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {35--51},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.052},
doi = {10.1016/J.ENTCS.2008.03.052},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchernhammerG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sinot08a,
author = {Fran{\c{c}}ois{-}R{\'{e}}gis Sinot},
editor = {J{\"{u}}rgen Giesl},
title = {Complete Laziness: a Natural Semantics},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {129--145},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.058},
doi = {10.1016/J.ENTCS.2008.03.058},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sinot08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ThiemannM08,
author = {Ren{\'{e}} Thiemann and
Aart Middeldorp},
editor = {J{\"{u}}rgen Giesl},
title = {Innermost Termination of Rewrite Systems by Labeling},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {3--19},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.050},
doi = {10.1016/J.ENTCS.2008.03.050},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ThiemannM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/UchiyamaSS08,
author = {Keita Uchiyama and
Masahiko Sakai and
Toshiki Sakabe},
editor = {J{\"{u}}rgen Giesl},
title = {Decidability of Innermost Termination and Context-Sensitive Termination
for Semi-Constructor Term Rewriting Systems},
booktitle = {Proceedings of the 7th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {204},
pages = {21--34},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.051},
doi = {10.1016/J.ENTCS.2008.03.051},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/UchiyamaSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VisserW08,
author = {Joost Visser and
Victor L. Winter},
editor = {Joost Visser and
Victor Winter},
title = {Preface},
booktitle = {Proceedings of the Eighth International Workshop on Rule Based Programming,
RULE@RDP 2007, Paris, France, June 29, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {219},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.030},
doi = {10.1016/J.ENTCS.2008.10.030},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VisserW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rule/2005,
editor = {Horatiu Cirstea and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Proceedings of the 6th International Workshop on Rule-Based Programming,
RULE@RDP 2005, Nara, Japan, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {147},
number = {1},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/147/issue/1},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rule/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AktemurK06,
author = {Baris Aktemur and
Samuel N. Kamin},
editor = {Horatiu Cirstea and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Mumbo: {A} Rule-Based Implementation of a Run-time Program Generation
Language},
booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming,
RULE@RDP 2005, Nara, Japan, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {147},
number = {1},
pages = {31--55},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.036},
doi = {10.1016/J.ENTCS.2005.06.036},
timestamp = {Thu, 15 Dec 2022 15:09:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AktemurK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BournezIK06,
author = {Olivier Bournez and
Liliana Ibanescu and
H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Horatiu Cirstea and
Narciso Mart{\'{\i}}{-}Oliet},
title = {From Chemical Rules to Term Rewriting},
booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming,
RULE@RDP 2005, Nara, Japan, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {147},
number = {1},
pages = {113--134},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.040},
doi = {10.1016/J.ENTCS.2005.06.040},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BournezIK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaM06,
author = {Horatiu Cirstea and
Narciso Mart{\'{\i}}{-}Oliet},
editor = {Horatiu Cirstea and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Preface},
booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming,
RULE@RDP 2005, Nara, Japan, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {147},
number = {1},
pages = {1--3},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.034},
doi = {10.1016/J.ENTCS.2005.06.034},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CirsteaM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HasebeO06,
author = {Koji Hasebe and
Mitsuhiro Okada},
editor = {Horatiu Cirstea and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Completeness and Counter-Example Generations of a Basic Protocol Logic:
(Extended Abstract)},
booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming,
RULE@RDP 2005, Nara, Japan, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {147},
number = {1},
pages = {73--92},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.038},
doi = {10.1016/J.ENTCS.2005.06.038},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HasebeO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KallebergV06,
author = {Karl Trygve Kalleberg and
Eelco Visser},
editor = {Horatiu Cirstea and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Combining Aspect-Oriented and Strategic Programming},
booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming,
RULE@RDP 2005, Nara, Japan, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {147},
number = {1},
pages = {5--30},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.035},
doi = {10.1016/J.ENTCS.2005.06.035},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KallebergV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchrijversDDSF06,
author = {Tom Schrijvers and
Bart Demoen and
Gregory J. Duck and
Peter J. Stuckey and
Thom W. Fr{\"{u}}hwirth},
editor = {Horatiu Cirstea and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Automatic Implication Checking for {CHR} Constraints},
booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming,
RULE@RDP 2005, Nara, Japan, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {147},
number = {1},
pages = {93--111},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.039},
doi = {10.1016/J.ENTCS.2005.06.039},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchrijversDDSF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SeinoOF06,
author = {Takahiro Seino and
Kazuhiro Ogata and
Kokichi Futatsugi},
editor = {Horatiu Cirstea and
Narciso Mart{\'{\i}}{-}Oliet},
title = {A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ
Method},
booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming,
RULE@RDP 2005, Nara, Japan, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {147},
number = {1},
pages = {57--72},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.037},
doi = {10.1016/J.ENTCS.2005.06.037},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SeinoOF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VelardoSV06,
author = {Fernando Rosa{-}Velardo and
Clara Segura and
Alberto Verdejo},
editor = {Horatiu Cirstea and
Narciso Mart{\'{\i}}{-}Oliet},
title = {Typed Mobile Ambients in Maude},
booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming,
RULE@RDP 2005, Nara, Japan, April 23, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {147},
number = {1},
pages = {135--161},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.041},
doi = {10.1016/J.ENTCS.2005.06.041},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VelardoSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-12 10:07 CEST from data curated 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:
