Helmut Schwichtenberg
5 published titles
Logic and algebra of specification
(Contributor)
1 edition
- ISBN: 0387558136
- Springer-Verlag
- 1993
- Details
Basic proof theory
(Contributor)
2 editions
- ISBN: 0521572231
- Cambridge University Press
- 1996
- Details
- ISBN: 0521779111
- Cambridge University Press
- 2000
- Details
Logic of computation
(Contributor)
1 edition
- ISBN: 3540629637
- Springer
- 1997
- Details
Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 2000 : proceedings
(Contributor)
1 edition
- ISBN: 3540678956
- Springer
- 2000
- Details
Proof and system-reliability
(Contributor)
1 edition
- ISBN: 1402006071
- Kluwer Academic
- 2002
- Details
