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, 2021-05, Vol.17, Issue 2
2021
Volltextzugriff (PDF)


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


Foundations of Software Science and Computation Structures, p.301-317
Volltextzugriff (PDF)

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Volltextzugriff (PDF)

IPSJ Online Transactions, 2012, Vol.5, pp.105-113
2012
Volltextzugriff (PDF)

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

Electronic proceedings in theoretical computer science, 2011-06, Vol.54 (Proc. GandALF 2011), p.102-115
2011
Volltextzugriff (PDF)

Open Access
On isomorphisms of intersection types
ACM transactions on computational logic, 2010-07, Vol.11 (4), p.1-24
2010
Volltextzugriff (PDF)

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017, p.1-12
2017
Volltextzugriff (PDF)

Programming Languages and Systems, p.169-189
Volltextzugriff (PDF)

Theoretical computer science, 2016-06, Vol.631, p.73-96
2016
Volltextzugriff (PDF)

Annals of pure and applied logic, 2010-08, Vol.161 (11), p.1390-1399
2010
Volltextzugriff (PDF)

Theoretical computer science, 2012-06, Vol.435, p.3-20
2012
Volltextzugriff (PDF)



Information and computation, 2019-08, Vol.267, p.1-27
2019
Volltextzugriff (PDF)

Programming Languages and Systems, p.69-89
Volltextzugriff (PDF)

Coalgebraic Methods in Computer Science, 2018, Vol.11202, p.13-33
2018
Volltextzugriff (PDF)

Programming Languages and Systems, p.23-37
Volltextzugriff (PDF)

Typed Lambda Calculi and Applications, p.61-76
Volltextzugriff (PDF)

Proceedings of the 9th international conference on Functional and logic programming, 2008, p.195-209
2008
Volltextzugriff (PDF)

Typed Lambda Calculi and Applications, p.366-380
Volltextzugriff (PDF)

Theoretical computer science, 2011-10, Vol.412 (44), p.6193-6207
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n