The SCEAS System
| |||||||

## Search the dblp DataBase
Uwe Petermann:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Uwe Petermann
**Programming Paradigms For Symbolic Computation Systems - Analysis Of An Example.**[Citation Graph (0, 0)][DBLP] DISCO, 1990, pp:71-80 [Conf] - Uwe Petermann
**Building in equational theories into the connection method.**[Citation Graph (0, 0)][DBLP] FAIR, 1991, pp:156-169 [Conf] - 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] - Uwe Petermann
**Towards a Connection Procedure with Built in Theories.**[Citation Graph (0, 0)][DBLP] JELIA, 1990, pp:444-543 [Conf] - Uwe Petermann
**A Complete Connection Calculus with Rigid E-Unification.**[Citation Graph (0, 0)][DBLP] JELIA, 1994, pp:152-166 [Conf] - 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] - Gérard Becher, Uwe Petermann
**Rigid Unification by Completion and Rigid Paramodulation.**[Citation Graph (0, 0)][DBLP] KI, 1994, pp:319-330 [Conf] - Uwe Petermann
**On Algorithmic Logic with Partial Operations.**[Citation Graph (0, 0)][DBLP] Logic of Programs, 1980, pp:213-223 [Conf] - 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] - Gerd Neugebauer, Uwe Petermann
**Specifications of Inference Rules and Their Automatic Translation.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1995, pp:185-200 [Conf] - Uwe Petermann
**A Confluent Theory Connection Calculus.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2002, pp:221-234 [Conf] - 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] - 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] - 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.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |