Search dblp for Publications

export results for "toc:db/conf/strategies/strategies2001.bht:"

 download as .bib file

@inproceedings{DBLP:journals/tcs/Autexier01,
  author       = {Serge Autexier},
  editor       = {Maria Paola Bonacina and
                  Bernhard Gramlich},
  title        = {A Proof-Planning Framework with Explicit Abstractions Based on Indexed
                  Formulas},
  booktitle    = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001,
                  Selected Papers},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {2},
  pages        = {189--202},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00285-3},
  doi          = {10.1016/S1571-0661(04)00285-3},
  timestamp    = {Tue, 13 Dec 2022 13:31:33 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Autexier01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/BonacinaG01,
  author       = {Maria Paola Bonacina and
                  Bernhard Gramlich},
  editor       = {Maria Paola Bonacina and
                  Bernhard Gramlich},
  title        = {Preface: {STRATEGIES} 2001},
  booktitle    = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001,
                  Selected Papers},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {2},
  pages        = {217--218},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(05)80580-8},
  doi          = {10.1016/S1571-0661(05)80580-8},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BonacinaG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/FissoreGK01,
  author       = {Olivier Fissore and
                  Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Maria Paola Bonacina and
                  Bernhard Gramlich},
  title        = {Termination of Rewriting with Local Strategies},
  booktitle    = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001,
                  Selected Papers},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {2},
  pages        = {155--188},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00284-1},
  doi          = {10.1016/S1571-0661(04)00284-1},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FissoreGK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Goerigk01,
  author       = {Wolfgang Goerigk},
  editor       = {Maria Paola Bonacina and
                  Bernhard Gramlich},
  title        = {Mechanical Software Verification: High Level Control Aspects from
                  a User's Perspective},
  booktitle    = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001,
                  Selected Papers},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {2},
  pages        = {117--137},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00282-8},
  doi          = {10.1016/S1571-0661(04)00282-8},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Goerigk01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/Kieburtz01,
  author       = {Richard B. Kieburtz},
  editor       = {Maria Paola Bonacina and
                  Bernhard Gramlich},
  title        = {A Logic for Rewriting Strategies},
  booktitle    = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001,
                  Selected Papers},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {2},
  pages        = {138--154},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00283-X},
  doi          = {10.1016/S1571-0661(04)00283-X},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kieburtz01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/SchairerAH01,
  author       = {Axel Schairer and
                  Serge Autexier and
                  Dieter Hutter},
  editor       = {Maria Paola Bonacina and
                  Bernhard Gramlich},
  title        = {A Pragmatic Approach to Reuse in Tactical Theorem Proving},
  booktitle    = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001,
                  Selected Papers},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {2},
  pages        = {203--216},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/S1571-0661(04)00286-5},
  doi          = {10.1016/S1571-0661(04)00286-5},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SchairerAH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/strategies/2001,
  editor       = {Maria Paola Bonacina and
                  Bernhard Gramlich},
  title        = {4th International Workshop on Strategies in Automated Deduction, {STRATEGIES}
                  2001, in connection with {IJCAR} 2001, Siena, Italy, June 18, 2001,
                  Selected Papers},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {58},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2001},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/58/issue/2},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/strategies/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.