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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicola Botta