default search action

combined dblp search
author search
venue search
publication search

ask others

STRATEGIES@IJCAR 2001: Siena, Italy

> 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/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/strategies/2001
Maria Paola Bonacina, Bernhard Gramlich:
4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers. Electronic Notes in Theoretical Computer Science 58(2), Elsevier 2001
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Goerigk01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Goerigk01
Wolfgang Goerigk:
Mechanical Software Verification: High Level Control Aspects from a User's Perspective. 117-137
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Kieburtz01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Kieburtz01
Richard B. Kieburtz:
A Logic for Rewriting Strategies. 138-154
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FissoreGK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FissoreGK01
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner:
Termination of Rewriting with Local Strategies. 155-188
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Autexier01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Autexier01
Serge Autexier:
A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. 189-202
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SchairerAH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SchairerAH01
Axel Schairer, Serge Autexier, Dieter Hutter:
A Pragmatic Approach to Reuse in Tactical Theorem Proving. 203-216
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BonacinaG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BonacinaG01
Maria Paola Bonacina, Bernhard Gramlich:
Preface: STRATEGIES 2001. 217-218

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.