Helmut Schwichtenberg

No bio available. Add one in Open Library.

Books by Helmut Schwichtenberg (50 max)

+ shelf+ list

Proof and Computation

1995

Helmut Schwichtenberg

+ shelf+ list

Proofs and Computations

2011

Helmut Schwichtenberg, Stanley S. Wainer

+ shelf+ list

Computational logic

1999

Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss

+ shelf+ list

Logic of Computation

1997

Helmut Schwichtenberg

+ shelf+ list

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science)

2000

Helmut Schwichtenberg, Gerhard Goos

+ shelf+ list

Handbook of Constructive Mathematics

2023

Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg

+ shelf+ list

Logic and Algebra of Specification

1993

Friedrich L Bauer, Wilfried Brauer, Helmut Schwichtenberg

+ shelf+ list

Proofs and Computations (Perspectives in Logic)

2012

Helmut Schwichtenberg, Stanley S. Wainer

+ shelf+ list

Proof and System-Reliability

2012

Helmut Schwichtenberg, Ralf Steinbrüggen

+ shelf+ list

Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification

2021

Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg