Programming Logic and Semantics

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

3 resultater

Filter

2018
Multparty Classical Choreographies
Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A. A., 4 sep. 2018. 20 s.
Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

Åben adgang
What makes guarded types tick?
Bahr, P., Mannaa, B. & Møgelberg, R. E., 2018.
Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

Åben adgang
Fil
2014

Towards a Set Theoretical Approach to Big Social Data Analytics: Concepts, Methods, Tools, and Empirical Findings
Vatrapu, R., Mukkamala, R. R. & Hussain, A., 27 sep. 2014. 2 s.
Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

Åben adgang
Fil