B. Dahn

Foundations of Probability theory, statistical inference, and statistical theories of science

B. Dahn, 1978 .

Admissible sets and structures

B. Dahn, 1978 .

Internal Strategies in a Reeective Logic Strategies and Rewriting in Elan Tacticals in Ilf -and Why They Are Superruous Bernd Ingo Dahn 1.40pm -2.10pm Break Session 2: Strategy Analysis 2.10pm -2.40pm Strategies for Logic Programming Languages

M. Clavel, M. Bonacina, B. Gramlich, 2007 .

Foundations of Probability theory, statistical inference, and statistical theories of science

B. Dahn, 1978 .

Partial isomorphisms and intuitionistic logic

B. Dahn, 1981 .

Notes on exponential-logarithmic terms

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