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-10, Vol.25 (4), p.1-40, Article 25
2024
Volltextzugriff (PDF)

IEEE access, 2024, Vol.12, p.130884-130895
2024
Volltextzugriff (PDF)



Theory and practice of logic programming, 2024-05, Vol.24 (3), p.422-424
2024
Volltextzugriff (PDF)

Journal of the ACM, 2024-10, Vol.71 (5), p.1-47, Article 36
2024
Volltextzugriff (PDF)


Artificial intelligence, 2024-12, Vol.337, p.104227, Article 104227
2024
Volltextzugriff (PDF)


2024 L Latin American Computer Conference (CLEI), 2024, p.1-9
2024
Volltextzugriff (PDF)

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

Open Access
Non-termination Proving at Scale
Proceedings of ACM on programming languages, 2024-10, Vol.8 (OOPSLA2), p.246-274, Article 280
2024
Volltextzugriff (PDF)

The Artificial intelligence review, 2024-10, Vol.57 (12), p.334, Article 334
2024
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2024-10, Vol.8 (OOPSLA2), p.304-332, Article 282
2024
Volltextzugriff (PDF)



Proceedings of ACM on programming languages, 2024-10, Vol.8 (OOPSLA2), p.1586-1614, Article 327
2024
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2024-10, Vol.8 (OOPSLA2), p.362-388, Article 284
2024
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2024-10, Vol.8 (OOPSLA2), p.817-845, Article 300
2024
Volltextzugriff (PDF)

Cluster computing, 2025-02, Vol.28 (1), p.20, Article 20
2025
Volltextzugriff (PDF)

Open Access
Semantic-Type-Guided Bug Finding
Proceedings of ACM on programming languages, 2024-10, Vol.8 (OOPSLA2), p.2183-2210, Article 348
2024
Volltextzugriff (PDF)


Open Access
Refinement Composition Logic
Proceedings of ACM on programming languages, 2024-08, Vol.8 (ICFP), p.573-601, Article 256
2024
Volltextzugriff (PDF)

Big data and cognitive computing, 2024-09, Vol.8 (9), p.98
2024
Volltextzugriff (PDF)
Aktive Filter
Neu hinzugefügt... seit 90 Tagen
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt