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


Theoretical computer science, 2017-07, Vol.685, p.3-22
2017
Volltextzugriff (PDF)


IEEE transactions on dependable and secure computing, 2023-07, Vol.20 (4), p.3495-3507
2023
Volltextzugriff (PDF)

Information and computation, 2014-11, Vol.238, p.187-207
2014
Volltextzugriff (PDF)

Journal of computer and system sciences, 2021-08, Vol.119, p.34-59
2021
Volltextzugriff (PDF)


Journal of automated reasoning, 2019-12, Vol.63 (4), p.809-811
2019
Volltextzugriff (PDF)



Food reviews international, 2023-02, Vol.39 (2), p.689-707
2023
Volltextzugriff (PDF)


Open Access
Typed Nominal Rewriting
ACM transactions on computational logic, 2018-02, Vol.19 (1), p.1-46
2018
Volltextzugriff (PDF)










Theoretical computer science, 2017-04, Vol.672, p.64-100
2017
Volltextzugriff (PDF)

Nominal C-Unification
Logic-Based Program Synthesis and Transformation, p.235-251
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt