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...
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.56-65
2018
Volltextzugriff (PDF)

Open Access
Parametric Linear Dynamic Logic
Information and computation, 2017-04, Vol.253, p.237-256
2017
Volltextzugriff (PDF)

Open Access
Relevant S is Undecidable
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, p.1-8
2024
Volltextzugriff (PDF)

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

Mathematical structures in computer science, 2020-04, Vol.30 (4), p.416-457
2020
Volltextzugriff (PDF)

Journal of logic and computation, 2020-01, Vol.30 (1), p.157-174
2020
Volltextzugriff (PDF)

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

Mathematical structures in computer science, 2020-04, Vol.30 (4), p.379-415
2020
Volltextzugriff (PDF)

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

Mathematical structures in computer science, 2020-11, Vol.30 (10), p.1025-1053
2020
Volltextzugriff (PDF)

ACM transactions on programming languages and systems, 2018-12, Vol.40 (4), p.1-42, Article 17
2018
Volltextzugriff (PDF)

IEEE transactions on automatic control, 2021-07, Vol.66 (7), p.3097-3110
2021
Volltextzugriff (PDF)

Open Access
Lambek calculus is NP-complete
Theoretical computer science, 2006-07, Vol.357 (1), p.186-201
2006
Volltextzugriff (PDF)

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

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

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

IEEE transactions on fuzzy systems, 2023-10, Vol.31 (10), p.1-12
2023
Volltextzugriff (PDF)

IEEE transactions on automatic control, 2024-10, Vol.69 (10), p.6668-6683
2024
Volltextzugriff (PDF)

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

Open Access
Ribbon Tensorial Logic
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.689-698
2018
Volltextzugriff (PDF)

Open Access
Metric dynamic equilibrium logic
Journal of applied non-classical logics, 2023-10, Vol.33 (3-4), p.495-519
2023
Volltextzugriff (PDF)

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

IEEE transactions on control systems technology, 2021-03, Vol.29 (2), p.858-865
2021
Volltextzugriff (PDF)

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

Information and computation, 2009, Vol.207 (1), p.41-62
2009
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n