N. Botta

Available identifiers

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 functional framework for agent-based models of exchange	2012-06-13	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
Asymptotic adaptive methods for multi-scale problems in fluid mechanics	2003-01-05	Paper
Asymptotic analysis of a dry atmosphere.	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

This page was built for person: N. Botta