Sequential decision problems, dependently typed solutions

Botta, N.; Ionescu, C.; Brady, E.

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Sequential decision problems, dependently typed solutions

Authors

Botta, N.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Ionescu, C.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Brady, E.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

External Ressource

http://www.cicm-conference.org/2013/cicm.php?event=plmms
(Publisher version)

Fulltext (public)

There are no public fulltexts stored in PIKpublic

Supplementary Material (public)

There is no public supplementary material available

Citation

Botta, N., Ionescu, C., Brady, E. (2013): Sequential decision problems, dependently typed solutions - Sequential decision problems, dependently typed solutions.

Cite as: https://publications.pik-potsdam.de/pubman/item/item_18586

Abstract

There is no abstract available