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...
Journal of symbolic computation, 2022-03, Vol.109, p.124-143
2022
Volltextzugriff (PDF)

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

Acta informatica, 2013-03, Vol.50 (2), p.123-156
2013
Volltextzugriff (PDF)

Acta informatica, 2007-05, Vol.44 (2), p.91-121
2007
Volltextzugriff (PDF)

Rewriting Techniques and Applications, p.179-193
Volltextzugriff (PDF)

Journal of Functional Programming, 2005-07, Vol.15 (4), p.651-651
2005
Volltextzugriff (PDF)

Open Access
Red-black trees with types
Journal of functional programming, 2001-07, Vol.11 (4), p.425-432
2001
Volltextzugriff (PDF)

Programming Language Implementation and Logic Programming, 2005, p.115-129
2005
Volltextzugriff (PDF)

Well-Going Programs Can Be Typed
Lecture notes in computer science, 2003, Vol.2701, p.167-179
2003
Volltextzugriff (PDF)

Rewriting Techniques and Applications, 2005, p.241-255
2005
Volltextzugriff (PDF)

Open Access
Limits of ML-definability
Programming Languages: Implementations, Logics, and Programs, 2005, p.17-31
2005
Volltextzugriff (PDF)

Context rewriting
Conditional Term Rewriting Systems, 2005, p.21-35
2005
Volltextzugriff (PDF)

Higher-Order Algebra, Logic, and Term Rewriting, 2005, p.169-188
2005
Volltextzugriff (PDF)

Open Access
First-class polymorphism for ML
Programming Languages and Systems — ESOP '94, 2005, p.333-347
2005
Volltextzugriff (PDF)

Theoretical computer science, 1997-02, Vol.173 (2), p.445-484
1997
Volltextzugriff (PDF)

Journal of symbolic computation, 1995-06, Vol.19 (6), p.601-623
1995
Volltextzugriff (PDF)

Proceedings of the 8th annual conference on Genetic and evolutionary computation, 2006, p.941-942
2006
Volltextzugriff (PDF)

Program Development by Specification and Transformation, 2005, p.239-249
2005
Volltextzugriff (PDF)

Open Access
The variable containment problem
Higher-Order Algebra, Logic, and Term Rewriting, 2005, p.109-123
2005
Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering, 1998, p.154-170
1998
Volltextzugriff (PDF)


Open Access
Interfaces and extended ML
SIGPLAN notices, 1994-08, Vol.29 (8), p.111-118
1994
Volltextzugriff (PDF)


Optics and lasers in engineering, 2016-08, Vol.83, p.71-79
2016
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n