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, 2018-05, Vol.14, Issue 2
2018
Volltextzugriff (PDF)

Information and computation, 2023-12, Vol.295, p.104916, Article 104916
2023
Volltextzugriff (PDF)


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

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

Journal of logic and computation, 2021-09, Vol.31 (6), p.1429-1481
2021
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.632-658, Article 22
2023
Volltextzugriff (PDF)

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

ACM transactions on computational logic, 2021-10, Vol.22 (4), p.1-48
2021
Volltextzugriff (PDF)

Journal of computer and system sciences, 2015-08, Vol.81 (5), p.813-833
2015
Volltextzugriff (PDF)

Theoretical computer science, 2015-11, Vol.604, p.81-101
2015
Volltextzugriff (PDF)

ACM transactions on computational logic, 2019-02, Vol.20 (1), p.1-47, Article 3
2019
Volltextzugriff (PDF)

Coalgebraic Methods in Computer Science, 2022, Vol.13225, p.45-66
2022
Volltextzugriff (PDF)

Open Access
On Algebras with Effectful Iteration
Coalgebraic Methods in Computer Science, 2018, Vol.11202, p.144-166
2018
Volltextzugriff (PDF)


Foundations of Software Science and Computation Structures, p.531-547
Volltextzugriff (PDF)

Varieties of Languages in a Category
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.414-425
2015
Volltextzugriff (PDF)


Coalgebraic Methods in Computer Science, 2024, Vol.14617, p.135-155
2024
Volltextzugriff (PDF)

Coalgebraic Methods in Computer Science, 2024, Vol.14617, p.65-92
2024
Volltextzugriff (PDF)

Coalgebraic Methods in Computer Science, 2024, Vol.14617, p.23-43
2024
Volltextzugriff (PDF)

Coalgebraic Methods in Computer Science, 2024, Vol.14617, p.93-113
2024
Volltextzugriff (PDF)

Proving Behavioural Apartness
Coalgebraic Methods in Computer Science, 2024, Vol.14617, p.156-173
2024
Volltextzugriff (PDF)

Coalgebraic Methods in Computer Science, 2024, Vol.14617, p.44-64
2024
Volltextzugriff (PDF)

Coalgebraic Methods in Computer Science, 2024, Vol.14617, p.194-215
2024
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen