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...

Electronic proceedings in theoretical computer science, 2021, Vol.335, p.23-37
2021
Volltextzugriff (PDF)

First Steps in Updating Knowing How
Dynamic Logic. New Trends and Applications, 2023, Vol.13780, p.1-16
2023
Volltextzugriff (PDF)