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...
Annual review of nuclear and particle science, 2022-09, Vol.72 (1), p.447-475
2022
Volltextzugriff (PDF)


Mathematical structures in computer science, 2018-10, Vol.28 (9), p.1578-1605
2018
Volltextzugriff (PDF)

Open Access
HOCore in Coq
Interactive Theorem Proving, 2015, p.278-293
2015
Volltextzugriff (PDF)

Logic journal of the IGPL, 2015-08, Vol.23 (4), p.662-687
2015
Volltextzugriff (PDF)


Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-31
2019
Volltextzugriff (PDF)

The journal of high energy physics, 2015-04, Vol.2015 (4), p.1, Article 79
2015
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-33
2018
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2015-07, Vol.185 (Proc. LFMTP 2015), p.3-17
2015
Volltextzugriff (PDF)

Open Access
An open logical framework
Journal of logic and computation, 2016-02, Vol.26 (1), p.293-335
2016
Volltextzugriff (PDF)

Peer-to-peer networking and applications, 2015-09, Vol.8 (5), p.793-806
2015
Volltextzugriff (PDF)




Automated Deduction - CADE 26, 2017, Vol.10395, p.8-25
2017
Volltextzugriff (PDF)

Publications de l'Institut mathématique (Belgrade), 2010, Vol.87 (101), p.85-96
2010
Volltextzugriff (PDF)


Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, p.927-942
2020
Volltextzugriff (PDF)

Zbornik radova Fakulteta tehničkih nauka u Novom Sadu, 2024-03, Vol.39 (3), p.422-425
2024
Volltextzugriff (PDF)

Mathematical logic quarterly, 2006-10, Vol.52 (5), p.498-504
2006
Volltextzugriff (PDF)

Open Access
Symbolic Execution for JavaScript
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018, p.1-14
2018
Volltextzugriff (PDF)



Recent B-physics results from CDF
Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment, 2000-05, Vol.446 (1), p.106-119
2000
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt