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: 7311.0, PIK / PIK Publications , full text not public
Botta, N.; Jansson, P.; Ionescu, C.; Christiansen, D. R.; Brady, E.
Sequential decision problems, dependent types and generic solutions
In: Logical Methods in Computer Science, 13 , 1 (lmcs:3202)
2017.
10.23638/LMCS-13(1:7)2017
Doctype: Article (ISI journal)
Accepted by:  pikadmin (03.11.2016 15:40)
version 2.00b13/16
PP&B