E-LIB Suche - Ergebnisse für: Adamek, Jiri

1

Varieties of ordered algebras as categories:

Adámek, Jiří ; Rosický, Jiří
Algebra universalis. 84 (2023) 2 - p. , 2023

Link: https://doi.org/10.1007/..

2

Smallness in topology:

Adámek, Jiří ; Hušek, Miroslav ; Rosický, Jiří.
Quaestiones Mathematicae. 46 (2023) sup1 - p. 13-39 , 2023

Link: https://doi.org/10.2989/..

3

Development of the diagnostic tools for the COMPASS-U tokam..:

Weinzettl, Vladimir ; Bilkova, Petra ; Duran, Ivan...
Fusion Engineering and Design. 191 (2023) - p. 113545 , 2023

Link: https://doi.org/10.1016/..

4

Varieties of Quantitative Algebras and Their Monads:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Adamek, Jiri - p. 1-10 , 2022

Link: https://dl.acm.org/doi/1..

5

Reiterman's Theorem on Finite Algebras for a Monad:

Adámek, Jiří ; Chen, Liang-Ting ; Milius, Stefan.
ACM Transactions on Computational Logic. 22 (2021) 4 - p. 1-48 , 2021

Link: https://doi.org/10.1145/..

6

On the behaviour of coalgebras with side effects and algebr..:

Adámek, Jiří ; Milius, Stefan ; Urbat, Henning
Journal of Logic and Computation. 31 (2021) 6 - p. 1429-1481 , 2021

Link: https://doi.org/10.1093/..

7

Test bench for calibration of magnetic field sensor prototy..:

Torres, Andre ; Kovarik, Karel ; Markovic, Tomas...
Fusion Engineering and Design. 168 (2021) - p. 112467 , 2021

Link: https://doi.org/10.1016/..

8

Finitary monads on the category of posets:

Adámek, Jiří ; Ford, Chase ; Milius, Stefan.
Mathematical Structures in Computer Science. 31 (2021) 7 - p. 799-821 , 2021

Link: https://doi.org/10.1017/..

9

D-ultrafilters and their monads:

Adámek, Jiří ; Sousa, Lurdes
Advances in Mathematics. 377 (2021) - p. 107486 , 2021

Link: https://doi.org/10.1016/..

10

Interchange-turbulence-based radial transport model for SOL..:

Carli, Stefano ; Dekeyser, Wouter ; Coosemans, Reinart...
Contributions to Plasma Physics. 60 (2020) 5-6 - p. e201900155 , 2020

Link: https://doi.org/10.1002/..

11

How nice are free completions of categories?:

Adámek, Jiří ; Rosický, Jiří
Topology and its Applications. 273 (2020) - p. 106972 , 2020

Link: https://doi.org/10.1016/..

12

On functors preserving coproducts and algebras with iterati..:

Adámek, Jiří ; Milius, Stefan
Theoretical Computer Science. 763 (2019) - p. 66-87 , 2019

Link: https://doi.org/10.1016/..

13

Fixed points of functors:

Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S.
Journal of Logical and Algebraic Methods in Programming. 95 (2018) - p. 41-81 , 2018

Link: https://doi.org/10.1016/..

14

A Formula for Codensity Monads and Density Comonads:

Adámek, Jiří ; Sousa, Lurdes
Applied Categorical Structures. 26 (2018) 5 - p. 855-872 , 2018

Link: https://doi.org/10.1007/..

15

Generalized Eilenberg Theorem : Varieties of Languages i..:

Adámek, Jiří ; Milius, Stefan ; Myers, Robert S.R..
ACM Transactions on Computational Logic (TOCL). 20 (2018) 1 - p. 1-47 , 2018

Link: https://dl.acm.org/doi/1..