Programming Logic and Semantics

Websidehttps://pls.itu.dk/

PostadresseVis på kort
Rued Langgaards Vej 7, 4C corridor, RLV
2300 Copenhagen
Danmark

77 Konferencebidrag i proceedings
40 Tidsskriftartikel
26 Konferenceartikel
11 Bidrag til bog/antologi
Mere

4 resultater

Filter

2024
Taming Differentiable Logics with Coq Formalisation
Affeldt, R., Bruni, A., Komendantskaya, E., Ślusarz, N. & Stark, K., 21 mar. 2024.
Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning

Åben adgang
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