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
Coinduction All the Way Up
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.307-316
2016
Volltextzugriff (PDF)

2023 International Symposium on Electromagnetic Compatibility – EMC Europe, 2023, p.1-6
2023
Volltextzugriff (PDF)

Interactive Theorem Proving, p.180-196
Volltextzugriff (PDF)

Open Access
Coinduction All the Way Up
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Volltextzugriff (PDF)

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.829-838
2018
Volltextzugriff (PDF)

Proceedings of the 17th International Conference on Pattern Recognition, 2004. ICPR 2004, 2004, Vol.3, p.646-649 Vol.3
2004
Volltextzugriff (PDF)

Open Access
Petri Automata for Kleene Allegories
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.68-79
2015
Volltextzugriff (PDF)

Varieties of Cubical Sets
Relational and Algebraic Methods in Computer Science, p.77-92
Volltextzugriff (PDF)

Automata, Languages and Programming, 2005, p.730-741
2005
Volltextzugriff (PDF)

2016 International Symposium on Electromagnetic Compatibility - EMC EUROPE, 2016, p.514-519
2016
Volltextzugriff (PDF)

Open Access
Weak Bisimulation Up to Elaboration
CONCUR 2006 – Concurrency Theory, 2006, p.390-405
2006
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)

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015, p.357-368
2015
Volltextzugriff (PDF)

2023 International Symposium on Electromagnetic Compatibility – EMC Europe, 2023, p.1-6
2023
Volltextzugriff (PDF)

2023 International Symposium on Electromagnetic Compatibility – EMC Europe, 2023, p.1-6
2023
Volltextzugriff (PDF)


2018 International Symposium on Electromagnetic Compatibility (EMC EUROPE), 2018, p.561-566
2018
Volltextzugriff (PDF)

2023 International Symposium on Electromagnetic Compatibility – EMC Europe, 2023, p.1-6
2023
Volltextzugriff (PDF)

2022 International Symposium on Electromagnetic Compatibility – EMC Europe, 2022, p.247-252
2022
Volltextzugriff (PDF)

Relational and Algebraic Methods in Computer Science, p.24-40
Volltextzugriff (PDF)


2022 International Symposium on Electromagnetic Compatibility – EMC Europe, 2022, p.253-256
2022
Volltextzugriff (PDF)

2022 International Symposium on Electromagnetic Compatibility – EMC Europe, 2022, p.335-339
2022
Volltextzugriff (PDF)

Relational and Algebraic Methods in Computer Science, p.109-126
Volltextzugriff (PDF)

2014 International Symposium on Electromagnetic Compatibility, 2014, p.813-817
2014
Volltextzugriff (PDF)