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...

Electronic proceedings in theoretical computer science, 2019-10, Vol.307 (Proc. LFMTP 2019), p.8-23
2019
Volltextzugriff (PDF)

Journal of Formalized Reasoning, 2019-01, Vol.12 (1), p.11-51
2019
Volltextzugriff (PDF)

Open Access
A framework for defining logics
Journal of the ACM, 1993-01, Vol.40 (1), p.143-184
1993
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2015-07, Vol.185 (Proc. LFMTP 2015), p.3-17
2015
Volltextzugriff (PDF)

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

New media & society, 2019-08, Vol.21 (8), p.1859-1876
2019
Volltextzugriff (PDF)

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

The Information society, 2018-05, Vol.34 (3), p.141-152
2018
Volltextzugriff (PDF)


Mathematical structures in computer science, 2018-10, Vol.28 (9), p.1578-1605
2018
Volltextzugriff (PDF)


Open Access
An open logical framework
Journal of logic and computation, 2016-02, Vol.26 (1), p.293-335
2016
Volltextzugriff (PDF)


Fundamenta informaticae, 2014, Vol.134 (3-4), p.395-414
2014
Volltextzugriff (PDF)

Information and computation, 2009-05, Vol.207 (5), p.583-594
2009
Volltextzugriff (PDF)

Open Access
Implementing Cantor’s Paradise
Programming Languages and Systems, p.229-250
Volltextzugriff (PDF)

Information and computation, 2009, Vol.207 (5), p.583-594
2009
Volltextzugriff (PDF)


Theoretical computer science, 2008-05, Vol.398 (1), p.150-169
2008
Volltextzugriff (PDF)

Lambda Calculus with Types
1, 2013
Volltextzugriff (PDF)

RAIRO. Informatique théorique et applications, 2012-04, Vol.46 (2), p.231-259
2012
Volltextzugriff (PDF)

Categories of Coalgebraic Games
Mathematical Foundations of Computer Science 2012, p.503-515
Volltextzugriff (PDF)

Conway Games, Coalgebraically
Algebra and Coalgebra in Computer Science, p.300-316
Volltextzugriff (PDF)

Theoretical computer science, 2001, Vol.253 (2), p.239-285
2001
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n