default search action

combined dblp search
author search
venue search
publication search

ask others

6th STRATEGIES@IJCAR 2006: Seattle, WA, USA

> Home > Conferences and Workshops > STRATEGIES
> Home > Conferences and Workshops > IJCAR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/strategies/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/strategies/2006
Myla Archer, Thierry Boy de la Tour, César A. Muñoz:
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006. Electronic Notes in Theoretical Computer Science 174(11), Elsevier 2007
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ArcherTM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArcherTM07
Myla Archer, Thierry Boy de la Tour, César A. Muñoz:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EkerMMV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EkerMMV07
Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
Deduction, Strategies, and Rewriting. 3-25
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BonacinaE07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BonacinaE07a
Maria Paola Bonacina, Mnacho Echenim:
Rewrite-Based Decision Procedures. 27-45
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KirchnerM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KirchnerM07
Florent Kirchner, César A. Muñoz:
PVS#: Streamlined Tacticals for PVS. 47-58
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LimA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LimA07
Hongping Lim, Myla Archer:
Translation Templates to Support Strategy Development in PVS. 59-79

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.