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.003secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002