Programming Logic and Semantics

65 Konferencebidrag i proceedings
39 Tidsskriftartikel
23 Konferenceartikel
11 Bidrag til bog/antologi
Mere

9 resultater

Filter

2021
Sessions and Separation
Hinrichsen, J. K., 2021, IT-Universitetet i København. 156 s. (ITU-DS; Nr. 177).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

Åben adgang
Fil
Type Theories for Reactive Programming
Graulund, C. U., 2021, IT-Universitetet i København. 129 s. (ITU-DS; Nr. 175).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

Åben adgang
Fil
2017
Modern Logical Frameworks Design
Murawska, A. A., 2017, IT-Universitetet. 139 s. (ITU-DS; Nr. 137).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

Åben adgang
Fil
2016
Applied Formal Methods for Elections
Wang, J., 2016, IT-Universitetet i København. 154 s. (ITU-DS; Nr. 124).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

Åben adgang
Fil
A Type Theoretic Investigation of the Verification of Voting Protocols
Gustafsson, D., 2016, IT-Universitetet i København. 148 s. (ITU-DS; Nr. 123).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

Åben adgang
Fil
Denotational semantics in Synthetic Guarded Domain Theory
Paviotti, M., 2016, IT-Universitetet i København. 143 s. (ITU-DS, Bind 126).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

Åben adgang
Fil
Flexible Process Notations for Cross-organizational Case Management Systems
Slaats, T., 2016, IT-Universitetet i København. 276 s. (ITU-DS; Nr. 121).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

Åben adgang
Fil
2014
Choreographic Programming
Montesi, F., 2014, IT-Universitetet i København. 275 s. (ITU-DS; Nr. 104).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

Åben adgang
Fil
2012
A Formal Model For Declarative Workflows: Dynamic Condition Response Graphs
Mukkamala, R. R., 2012, IT-Universitetet i København. 257 s. (ITU-DS; Nr. 80).
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

Åben adgang
Fil

Programming Logic and Semantics

Publikation

Søgeresultater