Concepedia

Proof Relations

Proof Relations is a formal framework within proof writing that specifies the logical dependencies and structural connections between assertions, premises, and conclusions in mathematical arguments.

2

Publications

145

Citations

5

Authors

2

Institutions

Publications per year

2017–2026

0

Parents

Publications

2

1–3 of 2

Authors

5

  1. FB
    Franco Barbanera

    University of Turin, Italy

    1 publications · 14 citations

    1

    h-index

  2. JH
    Jieh Hsiang

    National Taiwan University, Taiwan

    1 publications · 131 citations

    1

    h-index

  3. LB
    Leo Bachmair

    Stony Brook University, United States

    1 publications · 131 citations

    1

    h-index

  4. SM
    Simone Martini

    University of Pisa, Italy

    1 publications · 14 citations

    1

    h-index

  5. ND
    Nachum Dershowitz

    University of Illinois Urbana-Champaign, United States

    1 publications · 131 citations

    1

    h-index

1–5 of 5

Institutions

2

  1. University of Turin

    Turin, Italy

    1 h-index

    1 publications

    14 citations

  2. University of Pisa

    Pisa, Italy

    1 h-index

    1 publications

    14 citations

  3. Northeastern University

    Boston, United States

    1 publications

    13 citations

  4. University of Maryland, College Park

    College Park, United States

    1 publications

    13 citations

1–4 of 2

Venues

  1. Logic in Computer Science

    Conference · 1 publications · 131 citations

    1

    h-index

  2. Archive for Mathematical Logic

    1 publications · 14 citations

    1

    h-index

1–2