Concepedia

Proof Strategies

Proof Strategy is a systematic method within theorem proving that specifies a structured approach for constructing logical derivations, distinguished by its reliance on heuristic rules, inference patterns, or tactical frameworks to guide the search for valid proofs.

68

Publications

2.4K

Citations

121

Authors

79

Institutions

Publications per year

2017–2026

5

Parents

Publications

68

Student difficulty in constructing proofs: The need for strategic knowledge

Keith Weber · Educational Studies in Mathematics · 2001 · 398 citations

, , +13

Correct architecture refinement

Mark Moriconi, Xiaoyan Qian, R. A. Riemenschneider · IEEE Transactions on Software Engineering · 1995 · 329 citations

, , +17

Meaning Approached Via Proofs

Dag Prawitz · Synthese · 2006 · 123 citations

, , +9

Specification faithfulness in networks with rational nodes

Jeffrey Shneidman, David C. Parkes · 2004 · 84 citations · Full text

, , +17

Cryptographically Sound Theorem Proving

Christoph Sprenger, M. Backes, D. Basin et al. · 2006 · 67 citations

, , +16

1–5 of 68

Authors

121

  1. JU
    Josef Urban

    Radboud University Nijmegen, Netherlands

    4 publications · 60 citations

    4

    h-index

  2. EM
    Erica Melis⋆

    Saarland University, Germany

    3 publications · 81 citations

    3

    h-index

  3. WB
    Wolfgang Bibel

    Technical University of Munich, Germany

    2 publications · 75 citations

    2

    h-index

  4. JH
    Jieh Hsiang

    National Taiwan University, Taiwan

    2 publications · 70 citations

    2

    h-index

  5. FB
    Falk Bartels

    Centrum Wiskunde & Informatica, Netherlands

    2 publications · 98 citations

    2

    h-index

1–5 of 121

Institutions

79

  1. University of Edinburgh

    Edinburgh, United Kingdom

    5 h-index

    6 publications

    184 citations

  2. University of Oxford

    Oxford, United Kingdom

    3 h-index

    4 publications

    75 citations

  3. Harvard University

    Cambridge, United States

    2 h-index

    3 publications

    199 citations

  4. Chalmers University of Technology

    Gothenburg, Sweden

    2 h-index

    2 publications

    66 citations

  5. Saarland University

    Saarbrücken, Germany

    2 h-index

    2 publications

    83 citations

  6. University of California, Santa Cruz

    Santa Cruz, United States

    2 h-index

    2 publications

    80 citations

  7. United States Naval Research Laboratory

    Washington, United States

    2 h-index

    2 publications

    30 citations

  8. Czech Technical University in Prague

    Prague, Czechia

    2 h-index

    4 publications

    64 citations

1–8 of 79

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 125 citations

    4

    h-index

  2. Artificial Intelligence

    2 publications · 60 citations

    2

    h-index

  3. Logic Journal of IGPL

    2 publications · 59 citations

    2

    h-index

  4. Journal of Economic Theory

    JET · 2 publications · 110 citations

    2

    h-index

  5. ACM Transactions on Computational Logic

    TOCL · 2 publications · 99 citations

    2

    h-index

1–5