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...
IEEE transactions on intelligent transportation systems, 2013-09, Vol.14 (3), p.1393-1402
2013
Volltextzugriff (PDF)




The YAP Prolog system
Theory and practice of logic programming, 2012-01, Vol.12 (1-2), p.5-34
2012
Volltextzugriff (PDF)



Expert systems with applications, 2016-02, Vol.44, p.275-288
2016
Volltextzugriff (PDF)



Open Access
On principal types of combinators
Theoretical computer science, 2000-09, Vol.247 (1), p.277-290
2000
Volltextzugriff (PDF)


On Long Normal Inhabitants of a Type
Journal of logic and computation, 2005-06, Vol.15 (3), p.353-390
2005
Volltextzugriff (PDF)


Lecture notes in computer science, 2001, p.321-334
2001
Volltextzugriff (PDF)


On Principal Types of BCK-λ-Terms
Logic, Language, Information and Computation, p.120-130
Volltextzugriff (PDF)


Theoretical computer science, 2004-06, Vol.318 (3), p.373-408
2004
Volltextzugriff (PDF)

2012 15th International IEEE Conference on Intelligent Transportation Systems, 2012, p.1014-1019
2012
Volltextzugriff (PDF)



Plano de Negócio: On-Med
2016
Volltextzugriff (PDF)

Theoretical computer science, 2004-06, Vol.318 (3), p.373-408
2004
Volltextzugriff (PDF)

The Journal of symbolic logic, 1997-09, Vol.62 (3), p.729-740
1997
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n