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


Acta informatica, 2021-04, Vol.58 (1-2), p.1-34
2021
Volltextzugriff (PDF)


Logical methods in computer science, 2023-08, Vol.19, Issue 3 (3)
2023
Volltextzugriff (PDF)


Logical methods in computer science, 2024-01, Vol.20, Issue 1
2024
Volltextzugriff (PDF)

Logical methods in computer science, 2017-01, Vol.13, p.1-57
2017
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2016-08, Vol.223 (Proc. ICE 2016), p.98-112
2016
Volltextzugriff (PDF)



Open Access
Retractable Contracts
Electronic proceedings in theoretical computer science, 2016-02, Vol.203 (Proc. PLACES 2015), p.61-72
2016
Volltextzugriff (PDF)

Science of computer programming, 2022-06, Vol.218, p.102808, Article 102808
2022
Volltextzugriff (PDF)

Information and computation, 2021-08, Vol.279, p.104611, Article 104611
2021
Volltextzugriff (PDF)

Open Access
Static vs Dynamic SAGAs
Electronic proceedings in theoretical computer science, 2010-10, Vol.38 (Proc. ICE 2010), p.51-65
2010
Volltextzugriff (PDF)


Open Access
Amending Choreographies
Electronic proceedings in theoretical computer science, 2013-01, Vol.123 (Proc. WWV 2013), p.34-48
2013
Volltextzugriff (PDF)

Reversible Computation, p.126-143
Volltextzugriff (PDF)


ACM transactions on computational logic, 2024-04, Vol.25 (2), p.1-40, Article 11
2024
Volltextzugriff (PDF)

Theoretical computer science, 2010-04, Vol.411 (19), p.1928-1948
2010
Volltextzugriff (PDF)


Science of computer programming, 2018-01, Vol.151, p.1-1
2018
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n