Search dblp for Publications

export results for "toc:db/conf/rule/rule2001.bht:"

 download as .bib file

@inproceedings{DBLP:journals/tcs/AkamaNK01,
  author       = {Kiyoshi Akama and
                  Ekawit Nantajeewarawat and
                  Hidekatsu Koike},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {A Class of Rewriting Rules and Reverse Transformation for Rule-based
                  Equivalent Transformation},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {255--270},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00291-9},
  doi          = {10.1016/S1571-0661(04)00291-9},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AkamaNK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/BrandV01,
  author       = {Mark van den Brand and
                  Rakesh M. Verma},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {{RULE2001} - Foreword},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {425--426},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(05)80559-6},
  doi          = {10.1016/S1571-0661(05)80559-6},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BrandV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/DanvyN01,
  author       = {Olivier Danvy and
                  Lasse R. Nielsen},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {Syntactic Theories in Practice},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {358--374},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00297-X},
  doi          = {10.1016/S1571-0661(04)00297-X},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DanvyN01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/FischerR01,
  author       = {Bernd Fischer and
                  Grigore Rosu},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {Interpreting Abstract Interpretations in Membership Equational Logic},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {271--285},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00292-0},
  doi          = {10.1016/S1571-0661(04)00292-0},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FischerR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/GiavittoM01,
  author       = {Jean{-}Louis Giavitto and
                  Olivier Michel},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {{MGS:} a Rule-Based Programming Language for Complex Objects and Collections},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {286--304},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00293-2},
  doi          = {10.1016/S1571-0661(04)00293-2},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/GiavittoM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/HoffmannM01,
  author       = {Berthold Hoffmann and
                  Mark Minas},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {Transformation of Shaped Nested Graphs and Diagrams},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {305--319},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00294-4},
  doi          = {10.1016/S1571-0661(04)00294-4},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HoffmannM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/LammaMMRS01,
  author       = {Evelina Lamma and
                  L. Maestrami and
                  Paola Mello and
                  Fabrizio Riguzzi and
                  Sergio Storari},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {Rule-based Programming for Building Expert Systems: a Comparison in
                  the Microbiological Data Validation and Surveillance Domain},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {397--411},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00299-3},
  doi          = {10.1016/S1571-0661(04)00299-3},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LammaMMRS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Moyen01,
  author       = {Jean{-}Yves Moyen},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {System Presentation: An Analyser of Rewriting Systems Complexity},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {412--424},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00300-7},
  doi          = {10.1016/S1571-0661(04)00300-7},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Moyen01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Nguyen01a,
  author       = {Quang Huy Nguyen},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {Certifying Term Rewriting Proofs in {ELAN}},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {320--340},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00295-6},
  doi          = {10.1016/S1571-0661(04)00295-6},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Nguyen01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Struth01,
  author       = {Georg Struth},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {Knuth-Bendix Completion for Non-Symmetric Transitive Relations},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {341--357},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00296-8},
  doi          = {10.1016/S1571-0661(04)00296-8},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Struth01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Visser01a,
  author       = {Eelco Visser},
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {Scoped Dynamic Rewrite Rules},
  booktitle    = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  pages        = {375--396},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00298-1},
  doi          = {10.1016/S1571-0661(04)00298-1},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Visser01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rule/2001,
  editor       = {Mark van den Brand and
                  Rakesh M. Verma},
  title        = {Second International Workshop on Rule-Based Programming, {RULE} 2001,
                  Satellite Event of {PLI} 2001, Firenze, Italy, September 4, 2001},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {59},
  number       = {4},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/59/issue/4},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rule/2001.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.