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...Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.806-832, Article 28
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2020-01, Vol.16 (4)
2020
Volltextzugriff (PDF)
Theoretical computer science, 2020-04, Vol.813, p.341-361
2020
Volltextzugriff (PDF)
Information and computation, 2018-08, Vol.261 (1), p.78-115
2018
Volltextzugriff (PDF)
Theoretical computer science, 2013-01, Vol.467, p.30-52
2013
Volltextzugriff (PDF)
Logical methods in computer science, 2022-02, Vol.18, Issue 1 (1)
2022
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2021, p.357-365
Volltextzugriff (PDF)
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, p.1-14
2024
Volltextzugriff (PDF)
Theoretical computer science, 2015-06, Vol.585, p.41-54
2015
Volltextzugriff (PDF)
Science of computer programming, 2015-11, Vol.111, p.395-425
2015
Volltextzugriff (PDF)
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 2017, p.37-42
2017
Volltextzugriff (PDF)
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.535-549
2020
Volltextzugriff (PDF)
Programming Languages and Systems, p.387-404
Volltextzugriff (PDF)
Algorithms and Computation, p.291-303
Volltextzugriff (PDF)
Foundations of Software Science and Computation Structures, p.305-320
Volltextzugriff (PDF)
Functional and Logic Programming, 2006, Vol.3945, p.163-176
2006
Volltextzugriff (PDF)
Foundational and Practical Aspects of Resource Analysis, p.51-66
Volltextzugriff (PDF)
Computer Science Logic, p.271-286
Volltextzugriff (PDF)
ACM transactions on computational logic, 2009-08, Vol.10 (4), p.1-31
2009
Volltextzugriff (PDF)
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015, p.114-126
2015
Volltextzugriff (PDF)
Functional and Logic Programming, p.50-65
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2007, p.410-424
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.90-104
2006
Volltextzugriff (PDF)
SIGPLAN notices, 2015-12, Vol.50 (9), p.114-126
2015
Volltextzugriff (PDF)
Theory and Applications of Models of Computation, p.124-140
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computational Complexity
- Computer Science, Theory & Methods
- Science & Technology - Other Topics
- Computer Science, Software Engineering
- Logic
- Function Symbol
- Humans
- Implicit Computational Complexity
- Life Sciences
- Polynomial Time
- Life Sciences & Biomedicine
- Type System
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Complexity
- Neurosciences
Kollektion
- IngentaConnect_期刊（NSTL购买）
- SpringerLink Series
- EZB Electronic Journals Library
- ACM Digital Library
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- IngentaConnect Journals
- Journals@Ovid
- IEEE/IET Electronic Library (IEL)
- Ebook Central Perpetual and DDA
- Oxford Journals
- eBooks on EBSCOhost
- Oxford Journals 2020 Medicine
- Nature_系列刊
Zeitschrift / Serie
Neu hinzugefügt