Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Mathematical structures in computer science, 2020-02, Vol.30 (2), p.118-138
2020
Volltextzugriff (PDF)
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 2011, p.55-64
2011
Volltextzugriff (PDF)
Logical methods in computer science, 2012-01, Vol.8, Issue 4
2012
Volltextzugriff (PDF)
Logical methods in computer science, 2020-01, Vol.16, Issue 4
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2014-03, Vol.10, Issue 1
2014
Volltextzugriff (PDF)
Mathematical structures in computer science, 2009-08, Vol.19 (4), p.639-686
2009
Volltextzugriff (PDF)
Mathematical structures in computer science, 2020-04, Vol.30 (4), p.342-378
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.476-510, Article 205
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021, Vol.351, p.200-217
2021
Volltextzugriff (PDF)
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29
2019
Volltextzugriff (PDF)
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-08, Vol.3 (ICFP), p.1-27
2019
Volltextzugriff (PDF)
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-10
2014
Volltextzugriff (PDF)
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.213-222
2013
Volltextzugriff (PDF)
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.317-326
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2012-01, Vol.8, Issue 4
2012
Volltextzugriff (PDF)
Journal of logic and computation, 2014-06, Vol.24 (3), p.615-654
2014
Volltextzugriff (PDF)
Logical methods in computer science, 2009-08, Vol.5, Issue 3
2009
Volltextzugriff (PDF)
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017, p.1-12
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-01, Vol.5 (POPL), p.1-28
2021
Volltextzugriff (PDF)
Automata, Languages and Programming, 2006, p.372-383
2006
Volltextzugriff (PDF)
From Lambda Calculus to Cybersecurity Through Program Analysis, 2020, Vol.12065, p.105-131
2020
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2015-12, Vol.319, p.333-349
2015
Volltextzugriff (PDF)
Annals of pure and applied logic, 2008-09, Vol.155 (2), p.115-133
2008
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Logic
- Science & Technology - Other Topics
- Denotational Semantics
- Guarded Recursion
- Semantics
- Computer Science - Logic In Computer Science
- Domain Theory
- Parametric Polymorphism
- Type Theory
- Categorical Semantics
- Coinductive Types
- Computational Effects
- Computer Science, Software Engineering
- Mathematics
- Modal Types
- Recursive Types
Kollektion
- EZB Electronic Journals Library
- IngentaConnect
- ACM Digital Library Complete
- IEEE Xplore
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- Cambridge Journals Online (DEFF)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford Journals
Zeitschrift / Serie