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, 2021-01, Vol.17, Issue 2
2021
Volltextzugriff (PDF)
Annals of pure and applied logic, 2025-01, Vol.176 (1), p.103496, Article 103496
2025
Volltextzugriff (PDF)
Information processing letters, 2018-08, Vol.136, p.70-75
2018
Volltextzugriff (PDF)
Computational complexity, 2019-06, Vol.28 (2), p.185-239
2019
Volltextzugriff (PDF)
SIAM journal on computing, 2016-01, Vol.45 (5), p.1894-1909
2016
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
ACM transactions on computational logic, 2014-11, Vol.15 (4), p.1-11
2014
Volltextzugriff (PDF)
Journal of mathematical logic, 2022-12, Vol.22 (3)
2022
Volltextzugriff (PDF)
Proceedings of the London Mathematical Society, 2011-07, Vol.103 (1), p.106-138
2011
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.71-89
2019
Volltextzugriff (PDF)
Archive for mathematical logic, 2011-11, Vol.50 (7-8), p.665-680, Article 665
2011
Volltextzugriff (PDF)
2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), 2019, p.1325-1337
2019
Volltextzugriff (PDF)
Combinatorica (Budapest. 1981), 2017-04, Vol.37 (2), p.253-268
2017
Volltextzugriff (PDF)
SIAM journal on computing, 2015-01, Vol.44 (4), p.1119-1153
2015
Volltextzugriff (PDF)
ACM transactions on computational logic, 2014-04, Vol.15 (2), p.1-30
2014
Volltextzugriff (PDF)
The Journal of symbolic logic, 2014-06, Vol.79 (2), p.496-525
2014
Volltextzugriff (PDF)
Annals of pure and applied logic, 2014-09, Vol.165 (9), p.1470-1483
2014
Volltextzugriff (PDF)
Annals of pure and applied logic, 2012-05, Vol.163 (5), p.604-614
2012
Volltextzugriff (PDF)
Annals of pure and applied logic, 2011-04, Vol.162 (6), p.419-446
2011
Volltextzugriff (PDF)
ACM transactions on computational logic, 2006-10, Vol.7 (4), p.749-764
2006
Volltextzugriff (PDF)
Annals of pure and applied logic, 2016-03, Vol.167 (3), p.335-369
2016
Volltextzugriff (PDF)
Annals of pure and applied logic, 2005-11, Vol.136 (3), p.247-266
2005
Volltextzugriff (PDF)
Computability, 2018, Vol.8 (1), p.67-98
2018
Volltextzugriff (PDF)
Annals of pure and applied logic, 2002-12, Vol.118 (1), p.175-195
2002
Volltextzugriff (PDF)
The Journal of symbolic logic, 2007-06, Vol.72 (2), p.649-672
2007
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Mathematics
- Physical Sciences
- Logic
- Science & Technology - Other Topics
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Bounded Arithmetic
- Mathematics, Applied
- Polynomials
- Proof Complexity
- Resolution
- Lower Bounds
- Polynomial Calculus
- Weak Pigeonhole Principle
- Mathematical Analysis
- Space
- Applied Sciences
- Arithmetic
Kollektion
- IngentaConnect
- EZB-FREE-00999 freely available EZB journals
- EZB-NALI5-00465 Elsevier Archive NL
- Access via ScienceDirect (Elsevier)
- IEEE Electronic Library (IEL)
- Springer Book Series
- ACM Digital Library Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerNature Journals
- Access via Wiley Online Library
- Cambridge Journals Online (DEFF)
- JSTOR
- Wiley Online Library Full Collection 2018
- Project Euclid Complete
- Access via Business Source (EBSCOhost)
- ProQuest Dissertations & Theses A&I
- Institute of Mathematics (Polish Academy of Sciences) Publications
Zeitschrift / Serie