The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "STRATEGIES@IJCAR"( http://dblp.L3S.de/Venues/STRATEGIES@IJCAR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/strategies

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