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:



Basket: Order by:
   Basket: 
ID: 7311.0, PIK / PIK Publications , full text not public
Botta, N.; Jansson, P.; Ionesu, C.; Christiansen, D. R.; Brady, E.
Sequential decision problems, dependent types and generic solutions
In: Logical Methods in Computer Science
2016 (Accepted October). 1-23 p.
10.2168/LMCS-???
Doctype: Article (ISI journal)
   Basket: 
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
version 2.00b13/16
PP&B