The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernd I. Dahn: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bernd I. Dahn
    Boolean Valued Models and Incomplete Specifications. [Citation Graph (0, 0)][DBLP]
    ALP, 1988, pp:119-126 [Conf]
  2. 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]
  3. Bernd I. Dahn
    On Test Classes for Universal Theories. [Citation Graph (0, 0)][DBLP]
    CSL, 1989, pp:90-97 [Conf]
  4. 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]
  5. Bernd I. Dahn
    On Test Classes for Universal Theories. [Citation Graph (0, 0)][DBLP]
    Easter Conference on Model Theory, 1989, pp:67-74 [Conf]
  6. 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]
  7. 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]
  8. 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
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002