Am Donnerstag, den 15.8. kann es zwischen 16 und 18 Uhr aufgrund von Wartungsarbeiten des ZIM zu Einschränkungen bei der Katalognutzung kommen.
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...
Journal of the ACM, 2019-06, Vol.66 (3), p.1-40, Article 23
2019
Volltextzugriff (PDF)

Mathematical logic quarterly, 2019-05, Vol.65 (1), p.46-56
2019
Volltextzugriff (PDF)

Open Access
On computability and disintegration
Mathematical structures in computer science, 2017-12, Vol.27 (8), p.1287-1314
2017
Volltextzugriff (PDF)

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

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

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-13
2019
Volltextzugriff (PDF)

Graph Turing Machines
Logic, Language, Information, and Computation, 2017, Vol.10388, p.1-13
2017
Volltextzugriff (PDF)

2011 IEEE 26th Annual Symposium on Logic in Computer Science, 2011, p.107-116
2011
Volltextzugriff (PDF)

Theory and Applications of Models of Computation, p.133-143
Volltextzugriff (PDF)