Uwe Petermann

16 papers B 6Misc 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2002 B conf
A Confluent Theory Connection Calculus.
TABLEAUX
Uwe Petermann
2000 J jnl
Connection Calculus Theorem Proving with Multiple Built-in Theories.
J. Symb. Comput.
Uwe Petermann
2000 Misc conf
Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification.
FLAIRS
Uwe Petermann
2000 J jnl
Towards dependable development tools for embedded systems: a case study in software verification.
J. Exp. Theor. Artif. Intell.
Uwe Petermann
1998 — conf
Combining Semantical and Syntactical Theory Reasoning.
FroCoS
Uwe Petermann
1995 B conf
Specifications of Inference Rules and Their Automatic Translation.
TABLEAUX
Gerd Neugebauer, Uwe Petermann
1994 B conf
A Complete Connection Calculus with Rigid E-Unification.
JELIA
Uwe Petermann
1994 Misc conf
Rigid Unification by Completion and Rigid Paramodulation.
KI
Gérard Becher, Uwe Petermann
1993 — conf
Completeness of the Pool Calculus with an Open Built-in Theory.
Kurt Gödel Colloquium
Uwe Petermann
1992 B conf
Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract).
TABLEAUX
Uwe Petermann
1991 — conf
Building in equational theories into the connection method.
FAIR
Uwe Petermann
1990 — conf
Programming Paradigms For Symbolic Computation Systems - Analysis Of An Example.
DISCO
Uwe Petermann
1990 B conf
Towards a Connection Procedure with Built in Theories.
JELIA
Uwe Petermann
1989 B conf
An Extended Herbrand Theorem for First-Order Theories with Equality Interpreted in Partial Algebras.
MFCS
Uwe Petermann
1985 J jnl
A note on PCI: distributed processes communicating by interrupts.
ACM SIGPLAN Notices
Uwe Petermann, Andrzej Szalas
1980 — conf
On Algorithmic Logic with Partial Operations.
Logic of Programs
Uwe Petermann