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...1982
Volltextzugriff (PDF)
Logical methods in computer science, 2019-01, Vol.15, Issue 1
2019
Volltextzugriff (PDF)
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.692-699
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2019-10, Vol.15, Issue 4
2019
Volltextzugriff (PDF)
Theoretical computer science, 2020-02, Vol.807, p.220-233
2020
Volltextzugriff (PDF)
Mathematical structures in computer science, 2017-10, Vol.27 (7), p.1132-1152
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-29
2020
Volltextzugriff (PDF)
Logics of Programs, 2005, p.52-71
2005
Volltextzugriff (PDF)
The American mathematical monthly, 2013-02, Vol.120 (2), p.131-139
2013
Volltextzugriff (PDF)
Logical methods in computer science, 2007-11, Vol.3, Issue 4
2007
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2022-02, Vol.125, p.100734, Article 100734
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-08, Vol.126 (Proc. FICS 2013), p.44-55
2013
Volltextzugriff (PDF)
Electronic Notes in Theoretical Informatics and Computer Science, 2023-11, Vol.3 - Proceedings of...
2023
Volltextzugriff (PDF)
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-8
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2009-09, Vol.5, Issue 3
2009
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1997-05, Vol.19 (3), p.427-443
1997
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2022-01, Vol.124, p.100713, Article 100713
2022
Volltextzugriff (PDF)
Fundamenta informaticae, 2017-01, Vol.150 (3-4), p.347-377
2017
Volltextzugriff (PDF)
Mathematical Foundations of Computer Science 1990, 2005, p.26-47
2005
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-28
2020
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1338-1362, Article 269
2023
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.73-83
2006
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Computer Science, Software Engineering
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Software
- Software Engineering
- Logic
- Mathematics, Applied
- Programming Theory
- Science & Technology - Other Topics
- Boolean Algebra
- Kleene Algebra
- Dynamic Logic
Kollektion
- Connected Ingenta
- Ebook Central Perpetual and DDA
- SpringerLink Series
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- ACM Digital Library
- Access via ScienceDirect (Elsevier)
- IEEE Xplore
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- JSTOR
- Access via SAGE
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Journals@Ovid
- Springer Online Journals【Remote access available】
- Taylor & Francis Journals
- Taylor & Francis
- Taylor & Francis Online
Zeitschrift / Serie
- Theoretical Computer Science
- Daimi Pb
- Information And Computation
- Journal Of Computer And System Sciences
- Electronic Notes In Theoretical Computer Science
- Logical Methods In Computer Science
- Acm Transactions On Computational Logic
- Fundamenta Informaticae
- Journal Of Logical And Algebraic Methods In Programming
- Journal Of Symbolic Computation