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...
Discrete mathematics and theoretical computer science, 2020-08, Vol.22 (4), p.1-84
2020
Volltextzugriff (PDF)

Fundamenta informaticae, 2023-04, Vol.188 (3), p.127-178
2023
Volltextzugriff (PDF)

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

Information processing letters, 2016-02, Vol.116 (2), p.125-127
2016
Volltextzugriff (PDF)

Open Access
Intersection Types and Counting
Electronic proceedings in theoretical computer science, 2017-02, Vol.242, p.48-63
2017
Volltextzugriff (PDF)

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

Electronic proceedings in theoretical computer science, 2019, Vol.293 (Proc. DCM 2018 and ITRS 2018), p.7-27
2019
Volltextzugriff (PDF)

Logical methods in computer science, 2022-01, Vol.18, Issue 1 (1), p.8:1-8:18
2022
Volltextzugriff (PDF)

Minimization of Tree Patterns
Journal of the ACM, 2018-08, Vol.65 (4), p.1-46
2018
Volltextzugriff (PDF)

Journal of functional programming, 2016-01, Vol.26, Article e12
2016
Volltextzugriff (PDF)

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.521-534
2020
Volltextzugriff (PDF)

Open Access
Weak Alternating Timed Automata
Logical methods in computer science, 2012-09, Vol.8, Issue 3 (3), p.1-27
2012
Volltextzugriff (PDF)

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.96-105
2016
Volltextzugriff (PDF)

Information and computation, 2022-07, Vol.286, p.104782, Article 104782
2022
Volltextzugriff (PDF)

The Probabilistic Rabin Tree Theorem
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, p.1-13
2023
Volltextzugriff (PDF)

2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.521-530
2012
Volltextzugriff (PDF)

RAIRO. Informatique théorique et applications, 2013-01, Vol.47 (1), p.97-109
2013
Volltextzugriff (PDF)

Mathematical Foundations of Computer Science 2012, 2012, Vol.7464, p.566-577
2012
Volltextzugriff (PDF)

Theory of computing systems, 2018-05, Vol.62 (4), p.941-976
2018
Volltextzugriff (PDF)

RAIRO. Informatique théorique et applications, 2013-01, Vol.47 (1), p.97
2013
Volltextzugriff (PDF)

Open Access
XPath Evaluation in Linear Time
Journal of the ACM, 2011-07, Vol.58 (4), p.1-33
2011
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-10, Vol.96 (Proc. GandALF 2012), p.210-223
2012
Volltextzugriff (PDF)

Functional and Logic Programming, 2014, Vol.8475, p.302-318
2014
Volltextzugriff (PDF)

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-9
2014
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2017-02, Vol.242 (Proc. ITRS 2016), p.48-63
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt