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...
Journal of the ACM, 2023-10, Vol.70 (5), p.1-38, Article 33
2023
Volltextzugriff (PDF)


The review of symbolic logic, 2024-03, Vol.17 (1), p.144-153
2024
Volltextzugriff (PDF)

Annals of pure and applied logic, 2024-08, Vol.175 (8), p.103455, Article 103455
2024
Volltextzugriff (PDF)

Robotics and computer-integrated manufacturing, 2019-06, Vol.57, p.292-302
2019
Volltextzugriff (PDF)

Information and computation, 2022-09, Vol.287, p.104758, Article 104758
2022
Volltextzugriff (PDF)

Open Access
A WALK WITH GOODSTEIN
The bulletin of symbolic logic, 2024-03, Vol.30 (1), p.1-19
2024
Volltextzugriff (PDF)


Mathematical structures in computer science, 2024-02, Vol.34 (2), p.81-97
2024
Volltextzugriff (PDF)

Studia logica, 2019-06, Vol.107 (3), p.457-488
2019
Volltextzugriff (PDF)


Open Access
Intuitionistic Linear Temporal Logics
ACM transactions on computational logic, 2019-12, Vol.21 (2), p.1-32
2019
Volltextzugriff (PDF)

A Walk with Goodstein and Ackermann
Notre Dame journal of formal logic, 2024-05, Vol.65 (2)
2024
Volltextzugriff (PDF)


Open Access
Dynamic Cantor Derivative Logic
Logical methods in computer science, 2023-01, Vol.19, Issue 4
2023
Volltextzugriff (PDF)

Information sciences, 2016-08, Vol.354, p.153-164
2016
Volltextzugriff (PDF)

Logic journal of the IGPL, 2022-02, Vol.30 (1), p.155-185
2022
Volltextzugriff (PDF)

Logical methods in computer science, 2018-07, Vol.14, Issue 3
2018
Volltextzugriff (PDF)


Proceedings of the American Mathematical Society, 2020-08, Vol.148 (8), p.3567-3582
2020
Volltextzugriff (PDF)

The Journal of symbolic logic, 2022-09, Vol.87 (3), p.995-1022
2022
Volltextzugriff (PDF)

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

Annals of pure and applied logic, 2018-04, Vol.169 (4), p.333-371
2018
Volltextzugriff (PDF)

The journal of high energy physics, 2023-07, Vol.2023 (7), p.208-46, Article 208
2023
Volltextzugriff (PDF)

The Journal of symbolic logic, 2017-06, Vol.82 (2), p.608-628
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt