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...
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-14
2021
Volltextzugriff (PDF)

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.595-604
2016
Volltextzugriff (PDF)

Open Access
Type-theoretic approaches to ordinals
Theoretical computer science, 2023-05, Vol.957, p.113843, Article 113843
2023
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Volltextzugriff (PDF)

Mathematical structures in computer science, 2023-09, Vol.33 (8), p.688-743
2023
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2011-10, Vol.71 (Proc. LFMTP 2011), p.1-13
2011
Volltextzugriff (PDF)

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


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

Foundations of Software Science and Computation Structures, 2017, p.534-549
2017
Volltextzugriff (PDF)

2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Volltextzugriff (PDF)

Mathematical structures in computer science, 2024-01, Vol.34 (1), p.80-80
2024
Volltextzugriff (PDF)

Mathematical structures in computer science, 2022-08, Vol.32 (7), p.982-1014
2022
Volltextzugriff (PDF)

ACM transactions on computational logic, 2015-03, Vol.16 (2), p.1-12
2015
Volltextzugriff (PDF)

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

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

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


Logical methods in computer science, 2017-03, Vol.13, Issue 1
2017
Volltextzugriff (PDF)

Mathematics of Program Construction, 2019, Vol.11825, p.329-365
2019
Volltextzugriff (PDF)

2015
Volltextzugriff (PDF)

2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), 2020, Vol.1, p.421-424
2020
Volltextzugriff (PDF)

Typed Lambda Calculi and Applications, p.173-188
Volltextzugriff (PDF)


Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt