Uwe Petermann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1989–2002
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | TABLEAUX | A Confluent Theory Connection Calculus. | Uwe Petermann |
| 2000 | FlAIRS | Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification. | Uwe Petermann |
| 1995 | TABLEAUX | Specifications of Inference Rules and Their Automatic Translation. | Gerd Neugebauer, Uwe Petermann |
| 1994 | JELIA | A Complete Connection Calculus with Rigid E-Unification. | Uwe Petermann |
| 1994 | KI | Rigid Unification by Completion and Rigid Paramodulation. | Grard Becher, Uwe Petermann |
| 1992 | TABLEAUX | Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract). | Uwe Petermann |
| 1990 | JELIA | Towards a Connection Procedure with Built in Theories. | Uwe Petermann |
| 1989 | MFCS | An Extended Herbrand Theorem for First-Order Theories with Equality Interpreted in Partial Algebras. | Uwe Petermann |