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: 
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)
version 2.00b13/16
PP&B