Search the dblp DataBase
Bernd I. Dahn :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Bernd I. Dahn Boolean Valued Models and Incomplete Specifications. [Citation Graph (0, 0)][DBLP ] ALP, 1988, pp:119-126 [Conf ] Bernd I. Dahn , Jürgen Gehne , Th. Honigmann , Andreas Wolf Integration of Automated and Interactive Theorem Proving in ILP. [Citation Graph (0, 0)][DBLP ] CADE, 1997, pp:57-60 [Conf ] Bernd I. Dahn On Test Classes for Universal Theories. [Citation Graph (0, 0)][DBLP ] CSL, 1989, pp:90-97 [Conf ] Bernd I. Dahn , Andreas Wolf Natural Language Presentation and Combination of Automatically Generated Proofs. [Citation Graph (0, 0)][DBLP ] Frontiers of Combining Systems (FroCos), 1996, pp:175-192 [Conf ] Bernd I. Dahn On Test Classes for Universal Theories. [Citation Graph (0, 0)][DBLP ] Easter Conference on Model Theory, 1989, pp:67-74 [Conf ] Bernd I. Dahn , Wolfgang Lenski Universally Generic Ordered Abelian Groups with Two Generators. [Citation Graph (0, 0)][DBLP ] Easter Conference on Model Theory, 1989, pp:75-80 [Conf ] Bernd I. Dahn , Andreas Wolf A Calculus Supporting Structured Proofs. [Citation Graph (0, 0)][DBLP ] Elektronische Informationsverarbeitung und Kybernetik, 1994, v:30, n:5/6, pp:261-276 [Journal ] Bernd I. Dahn Boolean Valued Models and Incomplete Specifications. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1992, v:12, n:3&4, pp:225-236 [Journal ] Search in 0.002secs, Finished in 0.002secs