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 the ACM, 2009-05, Vol.56 (3), p.1-48
2009
Volltextzugriff (PDF)

Two-variable logic on data words
ACM transactions on computational logic, 2011-07, Vol.12 (4), p.1-26
2011
Volltextzugriff (PDF)

Open Access
Pumping lemmas for weighted automata
Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Volltextzugriff (PDF)

Logical methods in computer science, 2020-01, Vol.16 (1)
2020
Volltextzugriff (PDF)

Logical methods in computer science, 2018-01, Vol.14 (4)
2018
Volltextzugriff (PDF)

Open Access
Soundness in negotiations
Logical methods in computer science, 2018-01, Vol.14, Issue 1 (Concurrency theory)
2018
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2021-09, Vol.346
2021
Volltextzugriff (PDF)

1996th edition, 2019
Volltextzugriff (PDF)


Logical methods in computer science, 2012-09, Vol.8, Issue 3 (3:23), p.1-20
2012
Volltextzugriff (PDF)

Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-12
2022
Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures, p.103-118
Volltextzugriff (PDF)

Theoretical computer science, 2016-01, Vol.611, p.136-141
2016
Volltextzugriff (PDF)

Fundamentals of Computation Theory, p.29-33
Volltextzugriff (PDF)


Open Access
Interacting Bialgebras Are Frobenius
Foundations of Software Science and Computation Structures, 2014, Vol.8412, p.351-365
2014
Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures, p.335-350
Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures, p.426-440
Volltextzugriff (PDF)

Logical methods in computer science, 2008-05, Vol.4, Issue 2 (2:5), p.1-14
2008
Volltextzugriff (PDF)

Theoretical computer science, 2013-09, Vol.503, p.109-114
2013
Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures, p.134-148
Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures, p.29-42
Volltextzugriff (PDF)

Volltextzugriff (PDF)


Open Access
Preface of STACS 2013 Special Issue
Theory of computing systems, 2016-05, Vol.58 (4), p.503-505
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n