default search action
Search dblp for Publications
export results for "toc:db/conf/strategies/strategies2004.bht:"
@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.