Andreas Wolf

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
Integration of automated and interactive theorem proving in ILF Automated Deduction—CADE-14	2019-10-01	Paper
ILF-SETHEO Automated Deduction—CADE-14	2019-10-01	Paper
scientific article; zbMATH DE number 1696564 (Why is no real title available?)	2002-01-28	Paper
Weakest relative precondition semantics. Balancing approved theory and realistic translation verification	2001-07-05	Paper
scientific article; zbMATH DE number 1612568 (Why is no real title available?)	2001-07-01	Paper
scientific article; zbMATH DE number 1487489 (Why is no real title available?)	2001-01-29	Paper
scientific article; zbMATH DE number 1552517 (Why is no real title available?)	2001-01-15	Paper
scientific article; zbMATH DE number 1538032 (Why is no real title available?)	2000-12-03	Paper
scientific article; zbMATH DE number 1210360 (Why is no real title available?)	1998-12-09	Paper
scientific article; zbMATH DE number 1223653 (Why is no real title available?)	1998-11-15	Paper
scientific article; zbMATH DE number 1140678 (Why is no real title available?)	1998-04-13	Paper
scientific article; zbMATH DE number 827982 (Why is no real title available?)	1995-12-20	Paper
scientific article; zbMATH DE number 827985 (Why is no real title available?)	1995-12-20	Paper
Nonparametric estimation of residual variance revisited Biometrika	1993-12-08	Paper

Research outcomes over time

This page was built for person: Andreas Wolf