Thomas Anberrée

From MaRDI portal
Person:2843993

Available identifiers

zbMath Open anberree.thomasMaRDI QIDQ2843993

List of research outcomes





PublicationDate of PublicationType
On the Non-sequential Nature of Domain Models of Real-number Computation2015-07-10Paper
First-order universality for real programs2013-08-27Paper
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers2010-12-01Paper
First-Order Universality for Real Programs2010-07-28Paper
A Denotational Semantics for Total Correctness of Sequential Exact Real Programs2008-05-27Paper

Research outcomes over time

This page was built for person: Thomas Anberrée

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