Search dblp for Publications

export results for "toc:db/conf/wrs/wrs2002.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/AlbertHHOV02,
  author       = {Elvira Albert and
                  Michael Hanus and
                  Frank Huch and
                  Javier Oliver and
                  Germ{\'{a}}n Vidal},
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {An Operational Semantics for Declarative Multi-Paradigm Languages},
  booktitle    = {2nd International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
                  July 21, 2002, Final Proceedings},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {6},
  pages        = {62--83},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80600-5},
  doi          = {10.1016/S1571-0661(04)80600-5},
  timestamp    = {Tue, 06 Dec 2022 15:13:44 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlbertHHOV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Ayala-RinconNJLH02,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Rinaldi Maya Neto and
                  Ricardo P. Jacobi and
                  Carlos H. Llanos and
                  Reiner W. Hartenstein},
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {Applying {ELAN} Strategies in Simulating Processors over Simple Architectures},
  booktitle    = {2nd International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
                  July 21, 2002, Final Proceedings},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {6},
  pages        = {84--99},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80601-7},
  doi          = {10.1016/S1571-0661(04)80601-7},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Ayala-RinconNJLH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BrandKV02,
  author       = {Mark van den Brand and
                  Paul Klint and
                  Jurgen J. Vinju},
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {Term Rewriting with Type-safe Traversal Functions},
  booktitle    = {2nd International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
                  July 21, 2002, Final Proceedings},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {6},
  pages        = {100--117},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80602-9},
  doi          = {10.1016/S1571-0661(04)80602-9},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrandKV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GlauertK02,
  author       = {John R. W. Glauert and
                  Zurab Khasidashvili},
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {An Abstract B{\"{o}}hm-normalization},
  booktitle    = {2nd International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
                  July 21, 2002, Final Proceedings},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {6},
  pages        = {118--134},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80603-0},
  doi          = {10.1016/S1571-0661(04)80603-0},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GlauertK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GramlichL02,
  author       = {Bernhard Gramlich and
                  Salvador Lucas},
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {Preface},
  booktitle    = {2nd International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
                  July 21, 2002, Final Proceedings},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {6},
  pages        = {196--197},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80607-3},
  doi          = {10.1016/S1571-0661(05)80607-3},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GramlichL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Lammel02,
  author       = {Ralf L{\"{a}}mmel},
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {The Sketch of a Polymorphic Symphony},
  booktitle    = {2nd International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
                  July 21, 2002, Final Proceedings},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {6},
  pages        = {135--155},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80604-2},
  doi          = {10.1016/S1571-0661(04)80604-2},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Lammel02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Middeldorp02,
  author       = {Aart Middeldorp},
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {Approximations for Strategies and Termination},
  booktitle    = {2nd International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
                  July 21, 2002, Final Proceedings},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {6},
  pages        = {1--20},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80598-X},
  doi          = {10.1016/S1571-0661(04)80598-X},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Middeldorp02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OlmosV02,
  author       = {Karina Olmos and
                  Eelco Visser},
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {Strategies for Source-to-Source Constant Progagation},
  booktitle    = {2nd International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
                  July 21, 2002, Final Proceedings},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {6},
  pages        = {156--175},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80605-4},
  doi          = {10.1016/S1571-0661(04)80605-4},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OlmosV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OostromV02,
  author       = {Vincent van Oostrom and
                  Roel C. de Vrijer},
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {Four equivalent equivalences of reductions},
  booktitle    = {2nd International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
                  July 21, 2002, Final Proceedings},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {6},
  pages        = {21--61},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80599-1},
  doi          = {10.1016/S1571-0661(04)80599-1},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OostromV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RetyV02,
  author       = {Pierre R{\'{e}}ty and
                  Julie Vuotto},
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {Regular Sets of Descendants by Leftmost Strategy},
  booktitle    = {2nd International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
                  July 21, 2002, Final Proceedings},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {6},
  pages        = {176--195},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80606-6},
  doi          = {10.1016/S1571-0661(04)80606-6},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RetyV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wrs/2002,
  editor       = {Bernhard Gramlich and
                  Salvador Lucas},
  title        = {2nd International Workshop on Reduction Strategies in Rewriting and
                  Programming, {WRS} 2002, FLoC Satellite Event, Copenhagen, Denmark,
                  July 21, 2002, Final Proceedings},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {6},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/6},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrs/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.