The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem

Lutz Strassburger

doi:10.1098/rsta.2018.0038

Journal articles

The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem

Lutz Strassburger ^{1, 2}

1 PARSIFAL - Proof search and reasoning with logic specifications

LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France

2 Inria Saclay - Ile de France

Document type :

Journal articles

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Complete list of metadata

https://hal.inria.fr/hal-02475417
Contributor : Lutz Straßburger Connect in order to contact the contributor
Submitted on : Wednesday, February 12, 2020 - 9:12:06 AM
Last modification on : Wednesday, February 2, 2022 - 3:55:19 PM

The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem

Links full text

Identifiers

Collections

Citation

Export

Metrics

24

Contact Legal Notice Personal Data

The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

24

Contact Legal Notice Personal Data