Uwe Petermann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 1950264 (Why is no real title available?)	2003-07-17	Paper
Towards dependable development tools for embedded systems: a case study in software verification Journal of Experimental & Theoretical Artificial Intelligence	2003-04-24	Paper
On the practical value of Herbrand disjunctions Logic and Logical Philosophy	2003-02-25	Paper
Combining semantical and syntactical theory reasoning	2002-07-22	Paper
scientific article; zbMATH DE number 1761415 (Why is no real title available?)	2002-06-30	Paper
scientific article; zbMATH DE number 1552527 (Why is no real title available?)	2001-07-29	Paper
Theorem proving with built-in hybrid theories Logic and Logical Philosophy	2001-07-23	Paper
scientific article; zbMATH DE number 1552514 (Why is no real title available?)	2001-07-03	Paper
Connection calculus theorem proving with multiple built-in theories Journal of Symbolic Computation	2001-03-19	Paper
scientific article; zbMATH DE number 549993 (Why is no real title available?)	1994-10-09	Paper
scientific article; zbMATH DE number 500951 (Why is no real title available?)	1994-09-21	Paper
scientific article; zbMATH DE number 517084 (Why is no real title available?)	1994-08-21	Paper
scientific article; zbMATH DE number 64168 (Why is no real title available?)	1992-09-27	Paper
scientific article; zbMATH DE number 4204310 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4112564 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 3872659 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3823133 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Uwe Petermann