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...
Transactions of the American Mathematical Society, 2013-03, Vol.365 (3), p.1219-1249
2013
Link zum Volltext

Journal of logical and algebraic methods in programming, 2016-06, Vol.85 (4), p.447-448
2016
Link zum Volltext

Varieties of Lattices
1992 edition., 2006
Link zum Volltext

Open Access
Nonassociative right hoops
Algebra universalis, 2019-12, Vol.80 (4), p.1-14, Article 47
2019
Link zum Volltext


Algebra universalis, 2017-11, Vol.78 (3), p.303-336
2017
Link zum Volltext

Open Access
Algebraic Proof Theory for LE-logics
ACM transactions on computational logic, 2024-01, Vol.25 (1), p.1-37, Article 6
2024
Link zum Volltext

Soft computing (Berlin, Germany), 2017, Vol.21 (1), p.17-27
2017
Link zum Volltext

Algebra universalis, 2019-12, Vol.80 (4), p.1-13, Article 54
2019
Link zum Volltext

Algebra universalis, 2020-08, Vol.81 (3), Article 35
2020
Link zum Volltext

Logical methods in computer science, 2024-02, Vol.20, Issue 1
2024
Link zum Volltext

Algebra universalis, 2021-11, Vol.82 (4), Article 57
2021
Link zum Volltext

Algebra universalis, 2020-05, Vol.81 (2), Article 28
2020
Link zum Volltext

Algebra universalis, 2022-08, Vol.83 (3), Article 28
2022
Link zum Volltext

Algebra universalis, 2015-11, Vol.74 (3-4), p.253-264
2015
Link zum Volltext


Journal of logical and algebraic methods in programming, 2016-06, Vol.85 (4), p.637-652
2016
Link zum Volltext

Algebra universalis, 2021-02, Vol.82 (1), Article 16
2021
Link zum Volltext





Concurrent Kleene Algebra with Tests
Relational and Algebraic Methods in Computer Science, p.37-48
Link zum Volltext

Algebra universalis, 2014-05, Vol.71 (3), p.221-234
2014
Link zum Volltext

Relational and Algebraic Methods in Computer Science, p.144-158
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt