Sequential decision problems, dependent types and generic solutions

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Botta, N., Jansson, P., Ionescu, C., Christiansen, D. and Brady, E.

Journal title: Logical Methods in Computer Science

Journal number: 10.23638/LMCS-13(1:7)

Journal publisher: Technischen Universitat Braunschweig

Published year: 2017

Published pages: 1-7

ISSN: 1860-5974