|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Myla Archer, Thierry Boy de la Tour, César A. Muñoz (eds.) |
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Maria Paola Bonacina, Mnacho Echenim |
Rewrite-Based Decision Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 27-45, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Myla Archer, Thierry Boy de la Tour, César A. Muñoz |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Steven Eker, Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo |
Deduction, Strategies, and Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 3-25, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hongping Lim, Myla Archer |
Translation Templates to Support Strategy Development in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 59-79, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Florent Kirchner, César A. Muñoz |
PVS#: Streamlined Tacticals for PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006, pp. 47-58, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina, Thierry Boy de la Tour (eds.) |
Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Thierry Boy de la Tour, Prakash Countcham |
An Isomorph-Free SEM-Like Enumeration of Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 91-113, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Stump, Carsten Schürmann |
Logical Semantics for the Rewriting Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 149-164, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sayan Mitra, Myla Archer |
PVS Strategies for Proving Abstraction Properties of Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 45-65, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich |
Strategic Issues, Problems and Challenges in Inductive Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 5-43, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina, Thierry Boy de la Tour |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 1-3, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tatjana Lutovac, James Harland |
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 115-147, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Meier 0002, Erica Melis |
Failure Reasoning in Multiple-Strategy Proof Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004, pp. 67-90, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Serge Autexier |
A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 189-202, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Axel Schairer, Serge Autexier, Dieter Hutter |
A Pragmatic Approach to Reuse in Tactical Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 203-216, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Richard B. Kieburtz |
A Logic for Rewriting Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 138-154, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina, Bernhard Gramlich |
Preface: STRATEGIES 2001. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 217-218, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
Termination of Rewriting with Local Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 155-188, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Goerigk |
Mechanical Software Verification: High Level Control Aspects from a User's Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![In: 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers, pp. 117-137, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina, Bernhard Gramlich (eds.) |
4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
STRATEGIES@IJCAR ![Elsevier The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|