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...
Open Access
Primitive recursion in the abstract
Mathematical structures in computer science, 2020-01, Vol.30 (1), p.33-43
2020
Volltextzugriff (PDF)

Logical methods in computer science, 2022-02, Vol.18, Issue 1 (1)
2022
Volltextzugriff (PDF)

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.395-411
2018
Volltextzugriff (PDF)

Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2012-07, Vol.370 (1971), p.3319-3339
2012
Volltextzugriff (PDF)

Information and computation, 2015-04, Vol.241, p.1-2
2015
Volltextzugriff (PDF)

2017 IEEE Symposium on Security and Privacy (SP), 2017, p.633-651
2017
Volltextzugriff (PDF)

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015, p.745-756
2015
Volltextzugriff (PDF)


Proceedings of the 2012 ACM conference on Computer and communications security, 2012, p.169-182
2012
Volltextzugriff (PDF)

Open Access
On tiered small jump operators
Logical methods in computer science, 2009-03, Vol.5, Issue 1 (1), p.1-19
2009
Volltextzugriff (PDF)

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

Journal in computer virology, 2009, Vol.5 (3), p.263-270
2009
Volltextzugriff (PDF)

2011 IEEE 26th Annual Symposium on Logic in Computer Science, 2011, p.123-132
2011
Volltextzugriff (PDF)


Theory of computing systems, 2012-08, Vol.51 (2), p.123-124
2012
Volltextzugriff (PDF)

ACM transactions on computational logic, 2012-04, Vol.13 (2), p.1-36
2012
Volltextzugriff (PDF)




Theory of computing systems, 2011-04, Vol.48 (3), p.443-443
2011
Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures, p.305-320
Volltextzugriff (PDF)

Theoretical computer science, 2007-09, Vol.382 (3), p.183-197
2007
Volltextzugriff (PDF)

Functional and Logic Programming, 2006, Vol.3945, p.163-176
2006
Volltextzugriff (PDF)

Theoretical computer science, 2000-04, Vol.236 (1), p.193-208
2000
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt