Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/strategies/2004,
  editor       = {Maria Paola Bonacina and
                  Thierry Boy de la Tour},
  title        = {Proceedings of the 5th International Workshop on Strategies in Automated
                  Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {125},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/125/issue/2},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/strategies/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BonacinaT05,
  author       = {Maria Paola Bonacina and
                  Thierry Boy de la Tour},
  editor       = {Maria Paola Bonacina and
                  Thierry Boy de la Tour},
  title        = {Preface},
  booktitle    = {Proceedings of the 5th International Workshop on Strategies in Automated
                  Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {125},
  number       = {2},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.001},
  doi          = {10.1016/J.ENTCS.2005.02.001},
  timestamp    = {Tue, 13 Dec 2022 13:34:48 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BonacinaT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Gramlich05,
  author       = {Bernhard Gramlich},
  editor       = {Maria Paola Bonacina and
                  Thierry Boy de la Tour},
  title        = {Strategic Issues, Problems and Challenges in Inductive Theorem Proving},
  booktitle    = {Proceedings of the 5th International Workshop on Strategies in Automated
                  Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {125},
  number       = {2},
  pages        = {5--43},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.006},
  doi          = {10.1016/J.ENTCS.2005.01.006},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Gramlich05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LutovacH05,
  author       = {Tatjana Lutovac and
                  James Harland},
  editor       = {Maria Paola Bonacina and
                  Thierry Boy de la Tour},
  title        = {Issues in the Analysis of Proof-Search Strategies in Sequential Presentations
                  of Logics},
  booktitle    = {Proceedings of the 5th International Workshop on Strategies in Automated
                  Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {125},
  number       = {2},
  pages        = {115--147},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.002},
  doi          = {10.1016/J.ENTCS.2005.01.002},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LutovacH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MeierM05,
  author       = {Andreas Meier and
                  Erica Melis},
  editor       = {Maria Paola Bonacina and
                  Thierry Boy de la Tour},
  title        = {Failure Reasoning in Multiple-Strategy Proof Planning},
  booktitle    = {Proceedings of the 5th International Workshop on Strategies in Automated
                  Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {125},
  number       = {2},
  pages        = {67--90},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.004},
  doi          = {10.1016/J.ENTCS.2005.01.004},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MeierM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MitraA05,
  author       = {Sayan Mitra and
                  Myla Archer},
  editor       = {Maria Paola Bonacina and
                  Thierry Boy de la Tour},
  title        = {{PVS} Strategies for Proving Abstraction Properties of Automata},
  booktitle    = {Proceedings of the 5th International Workshop on Strategies in Automated
                  Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {125},
  number       = {2},
  pages        = {45--65},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.005},
  doi          = {10.1016/J.ENTCS.2005.01.005},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/MitraA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/StumpS05,
  author       = {Aaron Stump and
                  Carsten Sch{\"{u}}rmann},
  editor       = {Maria Paola Bonacina and
                  Thierry Boy de la Tour},
  title        = {Logical Semantics for the Rewriting Calculus},
  booktitle    = {Proceedings of the 5th International Workshop on Strategies in Automated
                  Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {125},
  number       = {2},
  pages        = {149--164},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.001},
  doi          = {10.1016/J.ENTCS.2005.01.001},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StumpS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/TourC05,
  author       = {Thierry Boy de la Tour and
                  Prakash Countcham},
  editor       = {Maria Paola Bonacina and
                  Thierry Boy de la Tour},
  title        = {An Isomorph-Free SEM-Like Enumeration of Models},
  booktitle    = {Proceedings of the 5th International Workshop on Strategies in Automated
                  Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {125},
  number       = {2},
  pages        = {91--113},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.003},
  doi          = {10.1016/J.ENTCS.2005.01.003},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/TourC05.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.