Search dblp for Publications

export results for "toc:db/conf/wrla/wrla2008.bht:"

 download as .bib file

@proceedings{DBLP:conf/wrla/2008,
  editor       = {Grigore Rosu},
  title        = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/238/issue/3},
  timestamp    = {Tue, 14 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AgrigoroaieiC09,
  author       = {Oana Agrigoroaiei and
                  Gabriel Ciobanu},
  editor       = {Grigore Rosu},
  title        = {Rewriting Logic Specification of Membrane Systems with Promoters and
                  Inhibitors},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {5--22},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.010},
  doi          = {10.1016/J.ENTCS.2009.05.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AgrigoroaieiC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AndreiL09,
  author       = {Oana Andrei and
                  Dorel Lucanu},
  editor       = {Grigore Rosu},
  title        = {Strategy-Based Proof Calculus for Membrane Systems},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {23--43},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.011},
  doi          = {10.1016/J.ENTCS.2009.05.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AndreiL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BruniLM09,
  author       = {Roberto Bruni and
                  Alberto Lluch{-}Lafuente and
                  Ugo Montanari},
  editor       = {Grigore Rosu},
  title        = {Hierarchical Design Rewriting with Maude},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {45--62},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.012},
  doi          = {10.1016/J.ENTCS.2009.05.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CaballeroMRV09,
  author       = {Rafael Caballero and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Adri{\'{a}}n Riesco and
                  Alberto Verdejo},
  editor       = {Grigore Rosu},
  title        = {A Declarative Debugger for Maude Functional Modules},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {63--81},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.013},
  doi          = {10.1016/J.ENTCS.2009.05.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CaballeroMRV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DuranO09,
  author       = {Francisco Dur{\'{a}}n and
                  Peter Csaba {\"{O}}lveczky},
  editor       = {Grigore Rosu},
  title        = {A Guide to Extending Full Maude Illustrated with the Implementation
                  of Real-Time Maude},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {83--102},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.014},
  doi          = {10.1016/J.ENTCS.2009.05.014},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DuranRBBEKKMSV09,
  author       = {Francisco Dur{\'{a}}n and
                  Manuel Rold{\'{a}}n and
                  Emilie Balland and
                  Mark van den Brand and
                  Steven Eker and
                  Karl Trygve Kalleberg and
                  Lennart C. L. Kats and
                  Pierre{-}Etienne Moreau and
                  Ruslan Schevchenko and
                  Eelco Visser},
  editor       = {Grigore Rosu},
  title        = {The Second Rewrite Engines Competition},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {281--291},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.025},
  doi          = {10.1016/J.ENTCS.2009.05.025},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranRBBEKKMSV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/EscobarMS09,
  author       = {Santiago Escobar and
                  Jos{\'{e}} Meseguer and
                  Ralf Sasse},
  editor       = {Grigore Rosu},
  title        = {Variant Narrowing and Equational Unification},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {103--119},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.015},
  doi          = {10.1016/J.ENTCS.2009.05.015},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/EscobarMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GoriacCLAG09,
  author       = {Eugen{-}Ioan Goriac and
                  Georgiana Caltais and
                  Dorel Lucanu and
                  Oana Andrei and
                  Gheorghe Grigoras},
  editor       = {Grigore Rosu},
  title        = {Patterns for Maude Metalanguage Applications},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {121--138},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.016},
  doi          = {10.1016/J.ENTCS.2009.05.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GoriacCLAG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HassN09,
  author       = {Lars Helge Ha{\ss} and
                  Thomas Noll},
  editor       = {Grigore Rosu},
  title        = {Equational Abstractions for Reducing the State Space of Rewrite Theories},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {139--154},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.017},
  doi          = {10.1016/J.ENTCS.2009.05.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HassN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Hills09,
  author       = {Mark Hills},
  editor       = {Grigore Rosu},
  title        = {Memory Representations in Rewriting Logic Semantics Definitions},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {155--172},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.018},
  doi          = {10.1016/J.ENTCS.2009.05.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hills09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HolenJW09,
  author       = {Bjarne Holen and
                  Einar Broch Johnsen and
                  Arild Waaler},
  editor       = {Grigore Rosu},
  title        = {Proof Search for the First-Order Connection Calculus in Maude},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {173--188},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.019},
  doi          = {10.1016/J.ENTCS.2009.05.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HolenJW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HolzlMW09,
  author       = {Matthias M. H{\"{o}}lzl and
                  Max Meier and
                  Martin Wirsing},
  editor       = {Grigore Rosu},
  title        = {Which Soft Constraints do you Prefer?},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {189--205},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.020},
  doi          = {10.1016/J.ENTCS.2009.05.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HolzlMW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LucasM09,
  author       = {Salvador Lucas and
                  Jos{\'{e}} Meseguer},
  editor       = {Grigore Rosu},
  title        = {Operational Termination of Membership Equational Programs: the Order-Sorted
                  Way},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {207--225},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.021},
  doi          = {10.1016/J.ENTCS.2009.05.021},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LucasM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Marti-OlietMV09,
  author       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Alberto Verdejo},
  editor       = {Grigore Rosu},
  title        = {A Rewriting Semantics for Maude Strategies},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {227--247},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.022},
  doi          = {10.1016/J.ENTCS.2009.05.022},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Marti-OlietMV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RiescoV09,
  author       = {Adri{\'{a}}n Riesco and
                  Alberto Verdejo},
  editor       = {Grigore Rosu},
  title        = {Implementing and analyzing in Maude the Enhanced Interior Gateway
                  Routing Protocol},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {249--266},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.023},
  doi          = {10.1016/J.ENTCS.2009.05.023},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RiescoV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Rodriguez09,
  author       = {Dilia E. Rodr{\'{\i}}guez},
  editor       = {Grigore Rosu},
  title        = {Combining Techniques to Reduce State Space and Prove Strong Properties},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {267--280},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.024},
  doi          = {10.1016/J.ENTCS.2009.05.024},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rodriguez09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Rosu09,
  author       = {Grigore Rosu},
  editor       = {Grigore Rosu},
  title        = {Preface},
  booktitle    = {Proceedings of the Seventh International Workshop on Rewriting Logic
                  and its Applications, {WRLA} 2008, Budapest, Hungary, March 29-30,
                  2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {3},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.009},
  doi          = {10.1016/J.ENTCS.2009.05.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rosu09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.