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...
Journal of Language Modelling, 2016-10, Vol.4 (2), p.145
2016
Link zum Volltext

Computing with relational machines
Mathematical structures in computer science, 2017-06, Vol.27 (5), p.807-826
2017
Link zum Volltext

Sanskrit Computational Linguistics, p.162-199
Link zum Volltext


Lecture notes in computer science, 2002, p.3-12
2002
Link zum Volltext



Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on principles of programming languages, 2014, p.249-249
2014
Link zum Volltext

Regular Böhm trees
Mathematical structures in computer science, 1998-12, Vol.8 (6), p.671-680
1998
Link zum Volltext

Preface
Mathematical structures in computer science, 2011-08, Vol.21 (4), p.671-677
2011
Link zum Volltext

Preface
Mathematical structures in computer science, 2011-08, Vol.21 (4), p.671-677
2011
Link zum Volltext

Preface
Mathematical structures in computer science, 2011-08, Vol.21 (4), p.671
2011
Link zum Volltext

Design and Implementation of Symbolic Computation Systems, 2005, p.55-55
2005
Link zum Volltext

Journal of functional programming, 2005-07, Vol.15 (4), p.573-614
2005
Link zum Volltext

Automata mista
Lecture notes in computer science, 2003, p.359-372
2003
Link zum Volltext

The Zipper
Journal of functional programming, 1997-09, Vol.7 (5), p.549-554
1997
Link zum Volltext

Lecture notes in computer science, 2006, p.355-374
2006
Link zum Volltext

Open Access
Śrı̄ Yantra Geometry
Theoretical computer science, 2002-06, Vol.281 (1-2), p.609-628
2002
Link zum Volltext

Śrī Yantra geometry
Theoretical computer science, 2002-06, Vol.281 (1-2), p.609-628
2002
Link zum Volltext


Foundations of Software Technology and Theoretical Computer Science, 2005, p.229-240
2005
Link zum Volltext

Journal of functional programming, 2003-03, Vol.13 (2), p.257-260
2003
Link zum Volltext


Open Access
The calculus of constructions
Information and computation, 1988-02, Vol.76 (2), p.95-120
1988
Link zum Volltext

Unification in typed lambda calculus
λ-Calculus and Computer Science Theory, 2005, p.192-212
2005
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n