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...
Logical methods in computer science, 2022-03, Vol.18, Issue 1
2022
Volltextzugriff (PDF)

Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, 2022, p.924-937
2022
Volltextzugriff (PDF)

Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024, p.1550-1560
2024
Volltextzugriff (PDF)

Journal of the ACM, 2024-06, Vol.71 (3), p.1-45, Article 21
2024
Volltextzugriff (PDF)

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

Stable graphs of bounded twin-width
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-12
2022
Volltextzugriff (PDF)

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.873-885
2020
Volltextzugriff (PDF)


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

Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Volltextzugriff (PDF)

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, p.1-14
2024
Volltextzugriff (PDF)

Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-14
2022
Volltextzugriff (PDF)

Open Access
Definable isomorphism problem
Logical methods in computer science, 2019-12, Vol.15, Issue 4
2019
Volltextzugriff (PDF)

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

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.384-396
2020
Volltextzugriff (PDF)

The Electronic journal of combinatorics, 2016-05, Vol.23 (2)
2016
Volltextzugriff (PDF)

Aggregate Queries on Sparse Databases
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020, p.427-443
2020
Volltextzugriff (PDF)

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-10
2014
Volltextzugriff (PDF)

Automata, Languages, and Programming, p.377-389
Volltextzugriff (PDF)

Semigroup forum, 2012-08, Vol.85 (1), p.182-184
2012
Volltextzugriff (PDF)


2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 2023, p.663-700
2023
Volltextzugriff (PDF)

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems, 2013, p.63-74
2013
Volltextzugriff (PDF)

LOIS: syntax and semantics
SIGPLAN notices, 2017-05, Vol.52 (1), p.586-598
2017
Volltextzugriff (PDF)

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.475-486
2015
Volltextzugriff (PDF)