Concepedia

Proof Automata

Proof Automata is a theoretical framework in proof theory that formalizes the notion of automated proof construction by modeling logical deductions as state transitions in an automaton, thereby enabling the systematic analysis of proof dynamics through computational mechanisms.

2

Publications

88

Citations

2

Authors

2

Institutions

Publications per year

2017–2026

0

Parents

Publications

2

1–2 of 2

Authors

2

  1. FB
    Franz Baader

    Technische Universität Dresden, Germany

    1 publications · 56 citations

    1

    h-index

  2. PK
    Peter Kursawe

    Gesellschaft Fur Mathematik Und Datenverarbeitung, Germany

    1 publications · 32 citations

    1

    h-index

1–2 of 2

Institutions

2

  1. Center for Advanced Diagnostics, Evaluation and Therapeutics

    Corrales, United States

    1 h-index

    1 publications

    56 citations

  2. Gesellschaft Fur Mathematik Und Datenverarbeitung

    Sankt Augustin, Germany

    1 h-index

    1 publications

    32 citations

1–2 of 2

Venues

  1. New Generation Computing

    1 publications · 32 citations

    1

    h-index

  2. Information and Computation

    1 publications · 56 citations

    1

    h-index

1–2