Bernd I. Dahn

Publication Activity (10 Years)

Years Active: 1980-1997
Publications (10 Years): 0

Publications

Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf
Integration of Automated and Interactive Theorem Proving in ILP. CADE (1997)
Bernd I. Dahn, Andreas Wolf
Natural Language Presentation and Combination of Automatically Generated Proofs. FroCoS (1996)
Bernd I. Dahn, Andreas Wolf
A Calculus Supporting Structured Proofs. J. Inf. Process. Cybern. 30 (5/6) (1994)
Bernd I. Dahn
Boolean Valued Models and Incomplete Specifications. J. Log. Program. 12 (3&4) (1992)
Bernd I. Dahn, Theodor Lettmann, Wolfgang Schönfeld
ILFA Interface Concept IWBS Report 193 (1991)
Bernd I. Dahn
On Test Classes for Universal Theories. CSL (1989)
Bernd I. Dahn
On Test Classes for Universal Theories. Easter Conference on Model Theory (1989)
Bernd I. Dahn, Wolfgang Lenski
Universally Generic Ordered Abelian Groups with Two Generators. Easter Conference on Model Theory (1989)
Bernd I. Dahn
Boolean Valued Models and Incomplete Specifications. ALP (1988)
Bernd I. Dahn, Helmut Wolter
Ordered Fields with Several exponential Functions. Math. Log. Q. 30 (19-24) (1984)
Bernd I. Dahn, Helmut Wolter
On the Theory of exponential Fields. Math. Log. Q. 29 (9) (1983)
Bernd I. Dahn
First Order Logics for Metric Structures. Math. Log. Q. 26 (1-6) (1980)