Nicola Botta

Available identifiers

zbMath Open botta.nicolaMaRDI QIDQ1900121

List of research outcomes

Publication	Date of Publication	Type
Extensional equality preservation and verified generic programming	2021-12-27	Paper
On the correctness of monadic backward induction	2021-12-27	Paper
Contributions to a computational theory of policy advice and avoidability	2018-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q2980971	2017-05-08	Paper
A Note on Herbert Gintis' "Emergence of a Price System from Decentralized Bilateral Exchange"	2010-06-30	Paper
Well balanced finite volume methods for nearly hydrostatic flows	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q2702647	2000-01-01	Paper
The inviscid transonic flow about a cylinder	1996-06-09	Paper
A numerical method for unsteady flows	1996-02-12	Paper

Research outcomes over time

This page was built for person: Nicola Botta