Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/strategies:"
download as .bib file
@proceedings{DBLP:conf/strategies/2006,
editor = {Myla Archer and
Thierry Boy de la Tour and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Proceedings of the 6th International Workshop on Strategies in Automated
Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA,
USA, August 16, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {11},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/11},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/strategies/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArcherTM07,
author = {Myla Archer and
Thierry Boy de la Tour and
C{\'{e}}sar A. Mu{\~{n}}oz},
editor = {Myla Archer and
Thierry Boy de la Tour and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Preface},
booktitle = {Proceedings of the 6th International Workshop on Strategies in Automated
Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA,
USA, August 16, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {11},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.023},
doi = {10.1016/J.ENTCS.2007.05.023},
timestamp = {Fri, 27 Jan 2023 14:52:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArcherTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BonacinaE07a,
author = {Maria Paola Bonacina and
Mnacho Echenim},
editor = {Myla Archer and
Thierry Boy de la Tour and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Rewrite-Based Decision Procedures},
booktitle = {Proceedings of the 6th International Workshop on Strategies in Automated
Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA,
USA, August 16, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {11},
pages = {27--45},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.042},
doi = {10.1016/J.ENTCS.2006.11.042},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BonacinaE07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EkerMMV07,
author = {Steven Eker and
Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Alberto Verdejo},
editor = {Myla Archer and
Thierry Boy de la Tour and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Deduction, Strategies, and Rewriting},
booktitle = {Proceedings of the 6th International Workshop on Strategies in Automated
Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA,
USA, August 16, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {11},
pages = {3--25},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.03.017},
doi = {10.1016/J.ENTCS.2006.03.017},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/EkerMMV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KirchnerM07,
author = {Florent Kirchner and
C{\'{e}}sar A. Mu{\~{n}}oz},
editor = {Myla Archer and
Thierry Boy de la Tour and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {PVS{\#}: Streamlined Tacticals for {PVS}},
booktitle = {Proceedings of the 6th International Workshop on Strategies in Automated
Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA,
USA, August 16, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {11},
pages = {47--58},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.10.057},
doi = {10.1016/J.ENTCS.2006.10.057},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KirchnerM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LimA07,
author = {Hongping Lim and
Myla Archer},
editor = {Myla Archer and
Thierry Boy de la Tour and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Translation Templates to Support Strategy Development in {PVS}},
booktitle = {Proceedings of the 6th International Workshop on Strategies in Automated
Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA,
USA, August 16, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {11},
pages = {59--79},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.057},
doi = {10.1016/J.ENTCS.2007.01.057},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LimA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@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 
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.
retrieved on 2024-06-28 20:45 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
