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...
Logical methods in computer science, 2015-03, Vol.11, Issue 1
2015
Volltextzugriff (PDF)

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

Open Access
Refining Inductive Types
Logical methods in computer science, 2012-06, Vol.8, Issue 2
2012
Volltextzugriff (PDF)

Open Access
Generic Fibrational Induction
Logical methods in computer science, 2012-01, Vol.8, Issue 2
2012
Volltextzugriff (PDF)

Logical methods in computer science, 2009-09, Vol.5, Issue 3
2009
Volltextzugriff (PDF)

Algebra and Coalgebra in Computer Science, p.176-191
Volltextzugriff (PDF)

Open Access
Compositional Game Theory
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.472-481
2018
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, p.59-71
2004
Volltextzugriff (PDF)

Mathematical structures in computer science, 2016-01, Vol.26 (1), p.89-113
2016
Volltextzugriff (PDF)

Indexed containers
Journal of functional programming, 2015-01, Vol.25, Article e5
2015
Volltextzugriff (PDF)

Theoretical computer science, 2018-09, Vol.741, p.48-57
2018
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2022, Vol.372, p.221-234
2022
Volltextzugriff (PDF)

Theoretical computer science, 2005-09, Vol.342 (1), p.3-27
2005
Volltextzugriff (PDF)

Mathematical structures in computer science, 2019-06, Vol.29 (6), p.810-827
2019
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-02, Vol.76, p.1-1
2012
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2020, Vol.323, p.95-105
2020
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2021, Vol.333, p.198-214
2021
Volltextzugriff (PDF)

Mathematical structures in computer science, 2005-06, Vol.15 (3), p.433-451
2005
Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures, p.36-54
Volltextzugriff (PDF)

Journal of functional programming, 2007-11, Vol.17 (6), p.731-776
2007
Volltextzugriff (PDF)

Higher-Order and Symbolic Computation, 2009-06, Vol.22 (2), p.155-189
2009
Volltextzugriff (PDF)

International journal of foundations of computer science, 2009-02, Vol.20 (1), p.83-107
2009
Volltextzugriff (PDF)

Open Access
Proof-Relevant Parametricity
A List of Successes That Can Change the World, 2016, Vol.9600, p.109-131
2016
Volltextzugriff (PDF)

Open Access
Polytypic Genetic Programming
Applications of Evolutionary Computation, p.66-81
Volltextzugriff (PDF)

Open Access
Fibred Data Types
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.243-252
2013
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt