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...Logical methods in computer science, 2016-03, Vol.12, Issue 1
2016
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, Vol.10201, p.393-419
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2020-01, Vol.16, Issue 4
2020
Volltextzugriff (PDF)
1st Edition 2018, 2018
Volltextzugriff (PDF)
Logical methods in computer science, 2021-01, Vol.17, Issue 4
2021
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2019-06, Vol.41 (2), p.1-65, Article 10
2019
Volltextzugriff (PDF)
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Volltextzugriff (PDF)
Mathematical structures in computer science, 2023-04, Vol.33 (4-5), p.180-181
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-02, Vol.176 (Proc. LINEARITY 2014), p.64-78
2015
Volltextzugriff (PDF)
Logical methods in computer science, 2012-01, Vol.8, Issue 4 (4)
2012
Volltextzugriff (PDF)
Logical methods in computer science, 2012-01, Vol.8, Issue 3 (3)
2012
Volltextzugriff (PDF)
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.559-572
2015
Volltextzugriff (PDF)
RAIRO. Informatique théorique et applications, 2012-07, Vol.46 (3), p.413-450
2012
Volltextzugriff (PDF)
Journal of automated reasoning, 2019-12, Vol.63 (4), p.813-855
2019
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Volltextzugriff (PDF)
Archive for mathematical logic, 2022-11, Vol.61 (7-8), p.1129-1144
2022
Volltextzugriff (PDF)
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 2011, p.133-142
2011
Volltextzugriff (PDF)
ACM transactions on computational logic, 2009-08, Vol.10 (4), p.1-32
2009
Volltextzugriff (PDF)
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-13
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-08, Vol.64 (Proc. EXPRESS 2011), p.59-73
2011
Volltextzugriff (PDF)
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
Volltextzugriff (PDF)
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.633-644
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Logic
- Computer Science, Software Engineering
- Logic In Computer Science
- Science & Technology - Other Topics
- Linear Logic
- Lambda Calculus
- Mathematics
- Implicit Computational Complexity
- Computer Programming / Software Development
- Systems Analysis & Design
- Algorithms & Data Structures
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Physical Sciences
- Programming Languages
Kollektion
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink Series
- EZB Electronic Journals Library
- ACM Digital Library Complete
- Elsevier ScienceDirect Journals Complete
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- EBSCOhost Business Source Ultimate
- Journals@Ovid Complete
- Wiley Online Library
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- NUS Single-Journal Subscriptions
Zeitschrift / Serie
- Theoretical Computer Science
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Electronic Proceedings In Theoretical Computer Science
- Logical Methods In Computer Science
- Mathematical Structures In Computer Science
- Information And Computation
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Mscs. Mathematical Structures In Computer Science/mathematical Structures In Computer Science
- Sigplan Notices
Neu hinzugefügt