|
|
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 |
STRATEGIES@IJCAR |
2007 |
DBLP BibTeX RDF |
|
1 | Maria Paola Bonacina, Mnacho Echenim |
Rewrite-Based Decision Procedures. |
STRATEGIES@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Myla Archer, Thierry Boy de la Tour, César A. Muñoz |
Preface. |
STRATEGIES@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Steven Eker, Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo |
Deduction, Strategies, and Rewriting. |
STRATEGIES@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hongping Lim, Myla Archer |
Translation Templates to Support Strategy Development in PVS. |
STRATEGIES@IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Florent Kirchner, César A. Muñoz |
PVS#: Streamlined Tacticals for PVS. |
STRATEGIES@IJCAR |
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 |
STRATEGIES@IJCAR |
2005 |
DBLP BibTeX RDF |
|
1 | Thierry Boy de la Tour, Prakash Countcham |
An Isomorph-Free SEM-Like Enumeration of Models. |
STRATEGIES@IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Stump, Carsten Schürmann |
Logical Semantics for the Rewriting Calculus. |
STRATEGIES@IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sayan Mitra, Myla Archer |
PVS Strategies for Proving Abstraction Properties of Automata. |
STRATEGIES@IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich |
Strategic Issues, Problems and Challenges in Inductive Theorem Proving. |
STRATEGIES@IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina, Thierry Boy de la Tour |
Preface. |
STRATEGIES@IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tatjana Lutovac, James Harland |
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. |
STRATEGIES@IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Meier 0002, Erica Melis |
Failure Reasoning in Multiple-Strategy Proof Planning. |
STRATEGIES@IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Serge Autexier |
A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. |
STRATEGIES@IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Axel Schairer, Serge Autexier, Dieter Hutter |
A Pragmatic Approach to Reuse in Tactical Theorem Proving. |
STRATEGIES@IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Richard B. Kieburtz |
A Logic for Rewriting Strategies. |
STRATEGIES@IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina, Bernhard Gramlich |
Preface: STRATEGIES 2001. |
STRATEGIES@IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
Termination of Rewriting with Local Strategies. |
STRATEGIES@IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Goerigk |
Mechanical Software Verification: High Level Control Aspects from a User's Perspective. |
STRATEGIES@IJCAR |
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 |
STRATEGIES@IJCAR |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|