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...
Open Access
Algebras of UTxO blockchains
Mathematical structures in computer science, 2021-10, Vol.31 (9), p.1034-1089
2021
Volltextzugriff (PDF)

Journal of the ACM, 2016-09, Vol.63 (3), p.1-66
2016
Volltextzugriff (PDF)

Logical methods in computer science, 2018-05, Vol.14, Issue 2
2018
Volltextzugriff (PDF)

The bulletin of symbolic logic, 2011-06, Vol.17 (2), p.161-229
2011
Volltextzugriff (PDF)

Open Access
Nominal rewriting
Information and computation, 2007-06, Vol.205 (6), p.917-965
2007
Volltextzugriff (PDF)

Formal aspects of computing, 2002-07, Vol.13 (3-5), p.341-363
2002
Volltextzugriff (PDF)

Journal of logic and computation, 2009-12, Vol.19 (6), p.1455-1508
2009
Volltextzugriff (PDF)

Theoretical computer science, 2009-03, Vol.410 (12), p.1159-1189
2009
Volltextzugriff (PDF)

Open Access
Nominal unification
Theoretical computer science, 2004-09, Vol.323 (1), p.473-497
2004
Volltextzugriff (PDF)

Journal of applied logic, 2013-03, Vol.11 (1), p.1-29
2013
Volltextzugriff (PDF)

The Journal of symbolic logic, 2012-09, Vol.77 (3), p.828-852
2012
Volltextzugriff (PDF)

Open Access
A general mathematics of names
Information and computation, 2007-07, Vol.205 (7), p.982-1011
2007
Volltextzugriff (PDF)

Open Access
Nominal Algebra and the HSP Theorem
Journal of logic and computation, 2009-04, Vol.19 (2), p.341-367
2009
Volltextzugriff (PDF)

Formal aspects of computing, 2008-07, Vol.20 (4-5), p.451-479
2008
Volltextzugriff (PDF)

Mathematical structures in computer science, 2011-10, Vol.21 (5), p.997-1033
2011
Volltextzugriff (PDF)

Journal of applied logic, 2012-06, Vol.10 (2), p.199-217
2012
Volltextzugriff (PDF)

Journal of logic and computation, 2015-04, Vol.25 (2), p.473-523
2015
Volltextzugriff (PDF)

Information and computation, 2009-12, Vol.207 (12), p.1369-1400
2009
Volltextzugriff (PDF)

One-and-a-halfth-order Logic
Journal of logic and computation, 2008-08, Vol.18 (4), p.521-562
2008
Volltextzugriff (PDF)

Mathematical structures in computer science, 2013-10, Vol.23 (5), p.1002-1031
2013
Volltextzugriff (PDF)

Journal of applied logic, 2007-06, Vol.5 (2), p.356-387
2007
Volltextzugriff (PDF)


Electronic proceedings in theoretical computer science, 2010-09, Vol.34 (Proc. LFMTP 2010), p.37-51
2010
Volltextzugriff (PDF)

Information and computation, 2010-03, Vol.208 (3), p.230-258
2010
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2011-10, Vol.71 (Proc. LFMTP 2011), p.58-75
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n