Bernd I. Dahn

Integrating Logical Functions with ILF

Andreas Wolf, Jürgen Gehne, Bernd I. Dahn, 1994 .

Notes on exponential-logarithmic terms

Bernd I. Dahn, B. Dahn, Peter Göring, 1987 .

Constructions of classical models by means of Kripke models (survey)

Bernd I. Dahn, 1979 .

Robbins Algebras Are Boolean: A Revision of McCune's Computer-Generated Solution of Robbins Problem

Bernd I. Dahn, 1998 .

The limit behaviour of exponential terms

Bernd I. Dahn, 1984 .