Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/wrla/2006,
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/176/issue/4},
  timestamp    = {Tue, 24 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChalubB07,
  author       = {Fabricio Chalub and
                  Christiano Braga},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Maude {MSOS} Tool},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {133--146},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.012},
  doi          = {10.1016/J.ENTCS.2007.06.012},
  timestamp    = {Tue, 24 Jan 2023 12:37:22 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChalubB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CirsteaHW07,
  author       = {Horatiu Cirstea and
                  Cl{\'{e}}ment Houtmann and
                  Benjamin Wack},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Distributive rho-calculus},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {95--111},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.010},
  doi          = {10.1016/J.ENTCS.2007.06.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CirsteaHW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DenkerT07,
  author       = {Grit Denker and
                  Carolyn L. Talcott},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Preface},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.004},
  doi          = {10.1016/J.ENTCS.2007.06.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DenkerT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DenkerTRBES07,
  author       = {Grit Denker and
                  Carolyn L. Talcott and
                  Grigore Rosu and
                  Mark van den Brand and
                  Steven Eker and
                  Traian{-}Florin Serbanuta},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Rewriting Logic Systems},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {233--247},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.018},
  doi          = {10.1016/J.ENTCS.2007.06.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DenkerTRBES07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DuranRV07,
  author       = {Francisco Dur{\'{a}}n and
                  Adri{\'{a}}n Riesco and
                  Alberto Verdejo},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {A Distributed Implementation of Mobile Maude},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {113--131},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.011},
  doi          = {10.1016/J.ENTCS.2007.06.011},
  timestamp    = {Mon, 28 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranRV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FarzanM07,
  author       = {Azadeh Farzan and
                  Jos{\'{e}} Meseguer},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Partial Order Reduction for Rewriting Semantics of Programming Languages},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {61--78},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.008},
  doi          = {10.1016/J.ENTCS.2007.06.008},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/FarzanM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HillsSR07,
  author       = {Mark Hills and
                  Traian Serbanuta and
                  Grigore Rosu},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {A Rewrite Framework for Language Definitions and for Generation of
                  Efficient Interpreters},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {215--231},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.017},
  doi          = {10.1016/J.ENTCS.2007.06.017},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HillsSR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KatelmanM07,
  author       = {Michael Katelman and
                  Jos{\'{e}} Meseguer},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {A Rewriting Semantics for {ABEL} with Applications to Hardware/Software
                  Co-Design and Analysis},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {47--60},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.007},
  doi          = {10.1016/J.ENTCS.2007.06.007},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/KatelmanM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NeuhausserN07,
  author       = {Martin R. Neuh{\"{a}}u{\ss}er and
                  Thomas Noll},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Abstraction and Model Checking of Core Erlang Programs in Maude},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {147--163},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.013},
  doi          = {10.1016/J.ENTCS.2007.06.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NeuhausserN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OlveczkyM07a,
  author       = {Peter Csaba {\"{O}}lveczky and
                  Jos{\'{e}} Meseguer},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Abstraction and Completeness for Real-Time Maude},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {5--27},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.005},
  doi          = {10.1016/J.ENTCS.2007.06.005},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/OlveczkyM07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Reilles07,
  author       = {Antoine Reilles},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Canonical Abstract Syntax Trees},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {165--179},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.014},
  doi          = {10.1016/J.ENTCS.2007.06.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Reilles07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Rodriguez07,
  author       = {Dilia E. Rodr{\'{\i}}guez},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {On Modelling Sensor Networks in Maude},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {199--213},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.016},
  doi          = {10.1016/J.ENTCS.2007.06.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rodriguez07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Santos-GarciaP07,
  author       = {Gustavo Santos{-}Garc{\'{\i}}a and
                  Miguel Palomino},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Solving Sudoku Puzzles with Rewriting Rules},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {79--93},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.009},
  doi          = {10.1016/J.ENTCS.2007.06.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Santos-GarciaP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SasseM07,
  author       = {Ralf Sasse and
                  Jos{\'{e}} Meseguer},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {Java+ITP: {A} Verification Tool Based on Hoare Logic and Algebraic
                  Semantics},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {29--46},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.006},
  doi          = {10.1016/J.ENTCS.2007.06.006},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/SasseM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/WirsingDTPB07,
  author       = {Martin Wirsing and
                  Grit Denker and
                  Carolyn L. Talcott and
                  Andy Poggio and
                  Linda Briesemeister},
  editor       = {Grit Denker and
                  Carolyn L. Talcott},
  title        = {A Rewriting Logic Framework for Soft Constraints},
  booktitle    = {Proceedings of the 6th International Workshop on Rewriting Logic and
                  its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {176},
  number       = {4},
  pages        = {181--197},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2007.06.015},
  doi          = {10.1016/J.ENTCS.2007.06.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WirsingDTPB07.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.