Concepedia

Proof Tactics

Proof Tactics is a strategic method within automated theorem proving that specifies a sequence of inference rules or operations to construct a formal proof, distinguished by its role in guiding proof search within a logical framework.

40

Publications

1.3K

Citations

71

Authors

42

Institutions

Publications per year

2017–2026

10

Parents

Publications

40

Integrating decision procedures into heuristic theorem provers: a case study of linear arithmetic

R. S. Boyer, J Strother Moore · 1988 · 130 citations

, , +16

Meaning Approached Via Proofs

Dag Prawitz · Synthese · 2006 · 123 citations

, , +9

Distributed Proving in Access-Control Systems

Lujo Bauer, Scott Garriss, Michael K. Reiter · 2005 · 111 citations

, , +16

Proof assistants: History, ideas and future

Herman Geuvers · Sadhana · 2009 · 83 citations · Full text

, , +12

Natural proofs for structure, data, and separation

Xiaokang Qiu, Pranav Garg, Andrei Ștefănescu et al. · 2013 · 81 citations

, , +16

1–5 of 40

Authors

71

  1. JU
    Josef Urban

    Radboud University Nijmegen, Netherlands

    5 publications · 101 citations

    5

    h-index

  2. PM
    P. Madhusudan

    University of Illinois Urbana-Champaign, United States

    4 publications · 182 citations

    4

    h-index

  3. XQ
    Xiaokang Qiu

    University of Illinois Urbana-Champaign, United States

    4 publications · 182 citations

    4

    h-index

  4. ZS
    Zhong Shao

    Yale University, United States

    3 publications · 74 citations

    3

    h-index

  5. AS
    Antonis Stampoulis

    Yale University, United States

    3 publications · 74 citations

    3

    h-index

1–5 of 71

Institutions

42

  1. Czech Technical University in Prague

    Prague, Czechia

    5 h-index

    8 publications

    151 citations

  2. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    12 publications

    568 citations

  3. Yale University

    New Haven, United States

    3 h-index

    6 publications

    148 citations

  4. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    4 publications

    123 citations

  5. Karlsruhe Institute of Technology

    Karlsruhe, Germany

    2 h-index

    4 publications

    135 citations

  6. Research Institute for Advanced Computer Science

    Mountain View, United States

    2 h-index

    2 publications

    57 citations

  7. Ames Research Center

    Mountain View, United States

    2 h-index

    2 publications

    57 citations

  8. Universität Innsbruck

    Innsbruck, Austria

    2 h-index

    4 publications

    106 citations

1–8 of 42

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 71 citations

    3

    h-index

  2. ACM SIGPLAN Notices

    3 publications · 61 citations

    3

    h-index

  3. EPiC series in computing

    3 publications · 41 citations

    3

    h-index

  4. arXiv (Cornell University)

    Repository · 2 publications · 35 citations

    2

    h-index

  5. Sadhana

    1 publications · 83 citations

    1

    h-index

1–5