http://www.pik-potsdam.de PIK Publications   
Display Documents   

   

Home
Help
Collections
People
Search
Fulltext Search
Session History
Load Basket
Login
Name:
Password:
 
Search
People:



ID: 5905.0, PIK / PIK Publications , full text not public
Botta, N.; Ionescu, C.; Brady, E.
Sequential decision problems, dependently typed solutions
Conferences on Intelligent Computer Mathematics CICM (Bath 2013) ; Programming Languages for Mechanized Mathematics Systems Workshop (PLMMS)
2013.
http://www.cicm-conference.org/2013/cicm.php?event=plmms
Doctype: Conference paper
Accepted by:  pikadmin (10.10.2013 10:52)
version 2.00b13/16
PP&B