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


Mathematical structures in computer science, 2018-10, Vol.28 (9), p.1578-1605
2018
Link zum Volltext

An open logical framework
Journal of logic and computation, 2016-02, Vol.26 (1), p.293-335
2016
Link zum Volltext




A framework for defining logics
Journal of the ACM, 1993-01, Vol.40 (1), p.143-184
1993
Link zum Volltext

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

Information and computation, 2009-05, Vol.207 (5), p.583-594
2009
Link zum Volltext

Theoretical computer science, 2008-05, Vol.398 (1), p.150-169
2008
Link zum Volltext

Logical methods in computer science, 2011-09, Vol.7, Issue 3
2011
Link zum Volltext

Theoretical computer science, 2001-02, Vol.253 (2), p.239-285
2001
Link zum Volltext

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

Automata, Languages and Programming, 2001, p.963-978
2001
Link zum Volltext

Categories of Coalgebraic Games
MFCS, 2012, p.503-515
2012
Link zum Volltext

Implementing Cantor's Paradise
APLAS, 2016, Vol.10017, p.229-250
2016
Link zum Volltext

Transition studies review, 2004-12, Vol.11 (3), p.1-3
2004
Link zum Volltext

Consistency of the theory of contexts
Journal of functional programming, 2006-05, Vol.16 (3), p.327-372
2006
Link zum Volltext

Journal of object technology, 2021, Vol.20 (2), p.4
2021
Link zum Volltext

Logical methods in computer science, 2009-08, Vol.5, Issue 3
2009
Link zum Volltext

Conway Games, Coalgebraically
Algebra and Coalgebra in Computer Science, 2009, p.300-316
2009
Link zum Volltext

Lecture notes in computer science, 2004, p.242-258
2004
Link zum Volltext

Mobility Types in Coq
Lecture notes in computer science, 2004, p.324-337
2004
Link zum Volltext

Proceedings of the Eighth ACM SIGPLAN international workshop on logical frameworks & meta-languages: theory & practice, 2013, p.37-42
2013
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n