The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Uwe Petermann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Uwe Petermann
    Programming Paradigms For Symbolic Computation Systems - Analysis Of An Example. [Citation Graph (0, 0)][DBLP]
    DISCO, 1990, pp:71-80 [Conf]
  2. Uwe Petermann
    Building in equational theories into the connection method. [Citation Graph (0, 0)][DBLP]
    FAIR, 1991, pp:156-169 [Conf]
  3. Uwe Petermann
    Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2000, pp:351-355 [Conf]
  4. Uwe Petermann
    Towards a Connection Procedure with Built in Theories. [Citation Graph (0, 0)][DBLP]
    JELIA, 1990, pp:444-543 [Conf]
  5. Uwe Petermann
    A Complete Connection Calculus with Rigid E-Unification. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:152-166 [Conf]
  6. Uwe Petermann
    Completeness of the Pool Calculus with an Open Built-in Theory. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:277-288 [Conf]
  7. Gérard Becher, Uwe Petermann
    Rigid Unification by Completion and Rigid Paramodulation. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:319-330 [Conf]
  8. Uwe Petermann
    On Algorithmic Logic with Partial Operations. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1980, pp:213-223 [Conf]
  9. Uwe Petermann
    An Extended Herbrand Theorem for First-Order Theories with Equality Interpreted in Partial Algebras. [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:408-417 [Conf]
  10. Gerd Neugebauer, Uwe Petermann
    Specifications of Inference Rules and Their Automatic Translation. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:185-200 [Conf]
  11. Uwe Petermann
    A Confluent Theory Connection Calculus. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:221-234 [Conf]
  12. Uwe Petermann
    Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:64-66 [Conf]
  13. Uwe Petermann
    Towards dependable development tools for embedded systems: a case study in software verification. [Citation Graph (0, 0)][DBLP]
    J. Exp. Theor. Artif. Intell., 2000, v:12, n:4, pp:489-498 [Journal]
  14. Uwe Petermann
    Connection Calculus Theorem Proving with Multiple Built-in Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:29, n:2, pp:373-392 [Journal]

Search in 0.067secs, Finished in 0.068secs
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