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...
Logical methods in computer science, 2021-05, Vol.17, Issue 2
2021
Link zum Volltext

Open Access
D-ultrafilters and their monads
Advances in mathematics (New York. 1965), 2021-01, Vol.377, p.107486, Article 107486
2021
Link zum Volltext

Algebra universalis, 2023-05, Vol.84 (2), Article 9
2023
Link zum Volltext

Foundations of Software Science and Computational Structures, 2012, Vol.7213, p.58-73
2012
Link zum Volltext

Theoretical computer science, 2019-04, Vol.763, p.66-87
2019
Link zum Volltext

Topology and its applications, 2020-03, Vol.273, p.106972, Article 106972
2020
Link zum Volltext


Mathematical structures in computer science, 2021-08, Vol.31 (7), p.799-821
2021
Link zum Volltext

Open Access
Smallness in topology
Quaestiones mathematicae, 2023-11, Vol.46 (S1), p.13-39
2023
Link zum Volltext

KZ-MONADIC CATEGORIES AND THEIR LOGIC
Theory and applications of categories, 2017-01, Vol.32 (10), p.338
2017
Link zum Volltext

Fixed points of functors
Journal of logical and algebraic methods in programming, 2018-02, Vol.95, p.41-81
2018
Link zum Volltext

Applied categorical structures, 2018-10, Vol.26 (5), p.855-872
2018
Link zum Volltext



Coalgebraic Methods in Computer Science, 2020, Vol.12094, p.11-31
2020
Link zum Volltext

ACM transactions on computational logic, 2021-10, Vol.22 (4), p.1-48
2021
Link zum Volltext

Journal of computer and system sciences, 2015-08, Vol.81 (5), p.813-833
2015
Link zum Volltext

Theoretical computer science, 2015-11, Vol.604, p.81-101
2015
Link zum Volltext

ACM transactions on computational logic, 2019-02, Vol.20 (1), p.1-47, Article 3
2019
Link zum Volltext

Logical methods in computer science, 2018-05, Vol.14, Issue 2
2018
Link zum Volltext


Theoretical computer science, 2014-02, Vol.523, p.56-85
2014
Link zum Volltext

Theoretical computer science, 2003-05, Vol.300 (1), p.1-45
2003
Link zum Volltext

Open Access
Colimit-dense subcategories
Commentationes mathematicae Universitatis Carolinae, 2019-01, Vol.60 (4), p.447-462
2019
Link zum Volltext

Logical methods in computer science, 2014-09, Vol.10, Issue 3
2014
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt