Bernd I. Dahn

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