Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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...
Journal of computer and system sciences, 2008-05, Vol.74 (3), p.323-334
2008
Volltextzugriff (PDF)

SIAM journal on computing, 2023-01, Vol.52 (5), p.1193-1229
2023
Volltextzugriff (PDF)

SIAM journal on computing, 2013-01, Vol.42 (1), p.112-137
2013
Volltextzugriff (PDF)

ACM transactions on computational logic, 2023-04, Vol.24 (3), p.1-26, Article 20
2023
Volltextzugriff (PDF)

Open Access
Automating Resolution is NP-Hard
Journal of the ACM, 2020-10, Vol.67 (5), p.1-17
2020
Volltextzugriff (PDF)

Open Access
Proof Complexity Meets Algebra
ACM transactions on computational logic, 2018-12, Vol.20 (1), p.1-46, Article 1
2018
Volltextzugriff (PDF)

Journal of logic and computation, 2019-12, Vol.29 (8), p.1185-1210
2019
Volltextzugriff (PDF)

Logical methods in computer science, 2019-01, Vol.15, Issue 1
2019
Volltextzugriff (PDF)

Journal of the ACM, 2021-08, Vol.68 (4), p.1-35
2021
Volltextzugriff (PDF)

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.66-75
2018
Volltextzugriff (PDF)

Open Access
Consistency of Relations over Monoids
Proceedings of the ACM on management of data, 2024-05, Vol.2 (2), p.1-15, Article 107
2024
Volltextzugriff (PDF)

SIAM journal on computing, 2013-01, Vol.42 (4), p.1737-1767
2013
Volltextzugriff (PDF)

Journal of mathematical logic, 2024-09
2024
Volltextzugriff (PDF)

Journal of combinatorial theory. Series B, 2019-05, Vol.136, p.289-328
2019
Volltextzugriff (PDF)

European journal of combinatorics, 2008-05, Vol.29 (4), p.796-820
2008
Volltextzugriff (PDF)

Open Access
Bounded-width QBF is PSPACE-complete
Journal of computer and system sciences, 2014-11, Vol.80 (7), p.1415-1429
2014
Volltextzugriff (PDF)

Theoretical computer science, 2009-04, Vol.410 (18), p.1666-1683
2009
Volltextzugriff (PDF)

The Journal of artificial intelligence research, 2011-01, Vol.40, p.353-373
2011
Volltextzugriff (PDF)

Open Access
Narrow Proofs May Be Maximally Long
ACM transactions on computational logic, 2016-07, Vol.17 (3), p.1-30
2016
Volltextzugriff (PDF)

Open Access
Circular (Yet Sound) Proofs
Theory and Applications of Satisfiability Testing - SAT 2019, 2019, Vol.11628, p.1-18
2019
Volltextzugriff (PDF)

Journal of computer and system sciences, 2019-11, Vol.105, p.171-198
2019
Volltextzugriff (PDF)

ACM transactions on computational logic, 2014-11, Vol.15 (4), p.1-11
2014
Volltextzugriff (PDF)

Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023, p.1257-1270
2023
Volltextzugriff (PDF)


2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-13
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt