Sequential decision problems, dependently typed solutions

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

???ViewItemPage???

???ViewItemFull_lblItemActions??????List_lblExportOptions???

???ViewItemFull_lblSubHeaderLocalTags??????ViewItemFull_btnItemVersions??????ViewItemFull_btnItemView??????ViewItemOverview_lblLinkOverviewPage???

???ENUM_STATE_RELEASED???

???ENUM_GENRE_CONFERENCE_PAPER???

Sequential decision problems, dependently typed solutions

???ViewItemOverview_lblSpecificAuthorsSection???

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;

???ViewItemOverview_lblExternalResourceSection???

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

???ViewItemOverview_lblRestrictedFulltextSection???

???ViewItemOverview_noRestrictedFullTextsAvailable???

???ViewItemOverview_lblFulltextSection???

???ViewItemOverview_noFullTextsAvailable???

???ViewItemOverview_lblSupplementaryMaterialSection???

???ViewItemOverview_noSupplementaryMaterialAvailable???

???ViewItemOverview_lblCitationSection???

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

???ViewItemOverview_lblCiteAs???: https://publications.pik-potsdam.de/pubman/item/item_18586

???ViewItemOverview_lblAbstractSection???

???ViewItemOverview_noAbstractAvailable???