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...
1, 2018
Volltextzugriff (PDF)

Journal of automated reasoning, 2017-08, Vol.59 (2), p.219-265
2017
Volltextzugriff (PDF)

Journal of automated reasoning, 2008-08, Vol.41 (2), p.143-189
2008
Volltextzugriff (PDF)

1. Aufl., 2010
Volltextzugriff (PDF)

Journal of automated reasoning, 2022-02, Vol.66 (1), p.173-173
2022
Volltextzugriff (PDF)

Journal of the ACM, 2020-04, Vol.67 (1), p.1-66
2020
Volltextzugriff (PDF)

Formal methods in system design, 2016-10, Vol.49 (1-2), p.33-74
2016
Volltextzugriff (PDF)

Open Access
Differential Hybrid Games
ACM transactions on computational logic, 2017-08, Vol.18 (3), p.1-44
2017
Volltextzugriff (PDF)

The International journal of robotics research, 2017-10, Vol.36 (12), p.1312-1340
2017
Volltextzugriff (PDF)

Open Access
Differential Game Logic
ACM transactions on computational logic, 2015-12, Vol.17 (1), p.1-51
2015
Volltextzugriff (PDF)


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

Formal methods in system design, 2021-10, Vol.58 (1-2), p.5-41
2021
Volltextzugriff (PDF)

Open Access
Logics of Dynamical Systems
2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.13-24
2012
Volltextzugriff (PDF)

Rigorous State-Based Methods, 2023, Vol.14010, p.3-14
2023
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2017-01, Vol.240 (Proc. F-IDE 2016), p.67-81
2017
Volltextzugriff (PDF)

ACM transactions on embedded computing systems, 2022-10, Vol.22 (1), p.1-30, Article 10
2022
Volltextzugriff (PDF)

Logical methods in computer science, 2012-01, Vol.8, Issue 4
2012
Volltextzugriff (PDF)

2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.541-550
2012
Volltextzugriff (PDF)

ACM transactions on embedded computing systems, 2021-10, Vol.20 (5s), p.1-26, Article 93
2021
Volltextzugriff (PDF)

Formal methods in system design, 2013-10, Vol.43 (2), p.338-367
2013
Volltextzugriff (PDF)

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

Logical methods in computer science, 2012-01, Vol.8, Issue 4
2012
Volltextzugriff (PDF)

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

Differential Refinement Logic
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.505-514
2016
Volltextzugriff (PDF)
Aktive Filter
KollektionIngenta
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt