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...
Logical methods in computer science, 2019-12, Vol.15 (4)
2019
Link zum Volltext

Logical methods in computer science, 2022-07, Vol.18, Issue 3
2022
Link zum Volltext

Information and computation, 2022-11, Vol.289, p.104964, Article 104964
2022
Link zum Volltext

Logical methods in computer science, 2022-06, Vol.18, Issue 2
2022
Link zum Volltext

Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.387-396
2016
Link zum Volltext

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

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Link zum Volltext