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

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext



Open Access
Walking on Data Words
Theory of computing systems, 2016-08, Vol.59 (2), p.180-208
2016
Link zum Volltext

Two Variables and Two Successors
Mathematical Foundations of Computer Science 2010, p.513-524
Link zum Volltext

Logic and Its Applications, 2019, Vol.11600, p.6-17
2019
Link zum Volltext

Logic and Its Applications, 2019, Vol.11600, p.52-63
2019
Link zum Volltext

Logic and Its Applications, 2019, Vol.11600, p.183-194
2019
Link zum Volltext

Logic and Its Applications, 2019, Vol.11600, p.76-88
2019
Link zum Volltext

Logic and Its Applications, 2019, Vol.11600, p.42-51
2019
Link zum Volltext

Open Access
Unification in Modal Logic
Logic and Its Applications, 2019, Vol.11600, p.1-5
2019
Link zum Volltext

Logic and Its Applications, 2019, Vol.11600, p.121-131
2019
Link zum Volltext


Open Access
Model Theory for Sheaves of Modules
Logic and Its Applications, 2019, Vol.11600, p.89-102
2019
Link zum Volltext

Logic and Its Applications, 2019, Vol.11600, p.18-29
2019
Link zum Volltext

Logic and Its Applications, 2019, Vol.11600, p.132-143
2019
Link zum Volltext


Logic Without Language
Logic and Its Applications, 2019, Vol.11600, p.173-182
2019
Link zum Volltext


Logic and Its Applications, 2019, Vol.11600, p.64-75
2019
Link zum Volltext



Open Access
Walking on Data Words
Computer Science – Theory and Applications, p.64-75
Link zum Volltext