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


The Astrophysical journal. Supplement series, 2023-02, Vol.264 (2), p.30
2023
Link zum Volltext


Open Access
Progress, Justness, and Fairness
ACM computing surveys, 2020-07, Vol.52 (4), p.1-38
2020
Link zum Volltext


The Astrophysical journal. Supplement series, 2005-04, Vol.157, p.279
2005
Link zum Volltext

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

Distributed computing, 2016-08, Vol.29 (4), p.279-315
2016
Link zum Volltext

Electronic proceedings in theoretical computer science, 2022, Vol.355, p.13-26
2022
Link zum Volltext

Electronic proceedings in theoretical computer science, 2017-08, Vol.255 (Proc. EXPRESS/SOS 2017), p.18-34
2017
Link zum Volltext

Electronic proceedings in theoretical computer science, 2020, Vol.316, p.72-120
2020
Link zum Volltext

Open Access
Relational characterisations of paths
Journal of logical and algebraic methods in programming, 2020-12, Vol.117, p.100590, Article 100590
2020
Link zum Volltext

Discrete mathematics, 2016-12, Vol.339 (12), p.3089-3115
2016
Link zum Volltext


Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.61-89, Article 3
2024
Link zum Volltext

Formal aspects of computing, 2012-07, Vol.24 (4-6), p.459-476
2012
Link zum Volltext

Journal of Logical and Algebraic Methods in Programming, 2019-08, Vol.106, p.198-199
2019
Link zum Volltext


The Astrophysical journal, 2001-03, Vol.549 (1), p.425-432
2001
Link zum Volltext





Electronic proceedings in theoretical computer science, 2017-03, Vol.244 (Proc. MARS 2017), p.14-52
2017
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n