Uwe Petermann

From MaRDI portal
Person:167077

Available identifiers

zbMath Open petermann.uweMaRDI QIDQ167077

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q44128622003-07-17Paper
Towards dependable development tools for embedded systems: a case study in software verification2003-04-24Paper
On the practical value of Herbrand disjunctions2003-02-25Paper
Combining semantical and syntactical theory reasoning2002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q45374352002-06-30Paper
https://portal.mardi4nfdi.de/entity/Q45247872001-07-29Paper
Theorem proving with built-in hybrid theories2001-07-23Paper
https://portal.mardi4nfdi.de/entity/Q45247732001-07-03Paper
Connection calculus theorem proving with multiple built-in theories2001-03-19Paper
https://portal.mardi4nfdi.de/entity/Q42875121994-10-09Paper
https://portal.mardi4nfdi.de/entity/Q42790841994-09-21Paper
https://portal.mardi4nfdi.de/entity/Q42826141994-08-21Paper
https://portal.mardi4nfdi.de/entity/Q40133631992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q33529941989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38354441989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33392691984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36688601983-01-01Paper

Research outcomes over time

This page was built for person: Uwe Petermann

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:167077&oldid=6333500"
Powered by MediaWiki