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

ACM transactions on computational logic, 2024-11
2024
Volltextzugriff (PDF)

ACM transactions on algorithms, 2024-10
2024
Volltextzugriff (PDF)

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, p.1-14
2024
Volltextzugriff (PDF)

2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE), 2024, p.1-12
2024
Volltextzugriff (PDF)

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

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2022, p.426-438
2022
Volltextzugriff (PDF)

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

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

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

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-14
2021
Volltextzugriff (PDF)

Lecture notes in computer science, 2003, Vol.2694, p.1-18
2003
Volltextzugriff (PDF)

Open Access
Good-for-games ω-Pushdown Automata
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.689-702
2020
Volltextzugriff (PDF)

Input Algebras
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.699-710
2021
Volltextzugriff (PDF)

2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2022, p.1-9
2022
Volltextzugriff (PDF)

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023, p.613-614
2023
Volltextzugriff (PDF)

Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 2, 2021, p.609-610
2021
Volltextzugriff (PDF)

Timed Pushdown Automata Revisited
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.738-749
2015
Volltextzugriff (PDF)

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

ACM SIGGRAPH 2007 papers, 2007, p.85-es
2007
Volltextzugriff (PDF)

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020, p.552-552
2020
Volltextzugriff (PDF)

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

Open Access
Call-by-Value solvability, revisited
Functional and Logic Programming, 2012, p.4-16
2012
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-10
2014
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)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n