Sortiert nach
Programming Languages and Systems, 2017, Vol.10201, p.855-879
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2011-03, Vol.7, Issue 1
2011
Volltextzugriff (PDF)
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.519-519
2013
Volltextzugriff (PDF)
Logical methods in computer science, 2022-01, Vol.18, Issue 1
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2020-01, Vol.16, Issue 1
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019-01, Vol.287 (Proc. QPL 2018), p.213-223
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Volltextzugriff (PDF)
Journal of the ACM, 2024-02, Vol.71 (1), p.1-53, Article 2
2024
Volltextzugriff (PDF)
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015, p.395-406
2015
Volltextzugriff (PDF)
Logical methods in computer science, 2014-03, Vol.10, Issue 1
2014
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-01, Vol.236 (Proc. QPL 2016), p.161-173
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023, Vol.394, p.400-414
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023-12, Vol.397
2023
Volltextzugriff (PDF)
Information and computation, 2018-08, Vol.261, p.336-354
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021, Vol.333, p.19-32
2021
Volltextzugriff (PDF)
Information and computation, 2006-04, Vol.204 (4), p.524-560
2006
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021, Vol.351, p.34-50
2021
Volltextzugriff (PDF)
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Volltextzugriff (PDF)
SIGPLAN notices, 2015-01, Vol.50 (1), p.395-406
2015
Volltextzugriff (PDF)
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.525-534
2016
Volltextzugriff (PDF)
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-13
2019
Volltextzugriff (PDF)
Coalgebraic Methods in Computer Science, 2020, Vol.12094, p.90-111
2020
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Logic
- Science & Technology - Other Topics
- Computer Science, Software Engineering
- Mathematics
- Physical Sciences
- Theory Of Computation
- Mathematics, Applied
- Semantics
- Denotational Semantics
- Categorical Semantics
- Probabilistic Programming
- Computer Languages
- Cross-Sectional Studies
- Female
- General & Internal Medicine
- Humans
Kollektion
- IngentaConnect Journals
- Free E-Journal (出版社公開部分のみ）
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- IEEE Xplore
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid Ovid Full Text
- Wiley Online Library Journals
- MEDLINE
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Single Journals
- SpringerLink Journals (MCLS)
- Cambridge Journals Online (DEFF)
- EBSCOhost Business Source Ultimate
- Oxford journals
- Psychology and Behavioral Sciences Collection
- Oxford Journals 2020 Medicine
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Proceedings Of Acm On Programming Languages
- Information And Computation
- Logical Methods In Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Journal Of General Internal Medicine : Jgim
- Acm Sigplan Notices
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Sigplan Notices
- Annales Henri Lebesgue