Sequential decision problems, dependent types and generic solutions
Botta, N. ; Jansson, P. ; Ionescu, C. ; Christiansen, D.R. ; Brady, E. 2017 Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig
- Link zu diesem Datensatz
- https://d-nb.info/1280342099
- Titel
- Sequential decision problems, dependent types and generic solutions
- Art des Inhalts
- Teil eines Werks
- Autor(en)
-
- Botta, N.
- Jansson, P.
- Ionescu, C.
- Christiansen, D.R.
- Brady, E.
- Verlag
- Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig [2017]
- Jahr
- Erscheinungsdatum: 2017
- Umfang/Format
- Online-Ressource
- DOI
- 10.34657/3748
- Online
- https://doi.org/10.34657/3748
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: In: Logical Methods in Computer Science 13 (2017), Nr. 1
- Enthalten in: Datenlieferant: Renate - Repositorium für Naturwissenschaften und Technik (TIB Hannover)
- Enthalten in: In: Logical Methods in Computer Science 13 (2017), Nr. 1
- Enthalten in: Datenlieferant: Renate - Repositorium für Naturwissenschaften und Technik (TIB Hannover)
- Enthalten in: In: Logical Methods in Computer Science 13 (2017), Nr. 1
- Enthalten in: Datenlieferant: Renate - Repositorium für Naturwissenschaften und Technik (TIB Hannover)
- Stand
- 07.02.2023 21:50
- Im Katalog seit
- 07.03.2026