Autor der Publikation

Algebraic Presentation of Semifree Monads.

, , und . CMCS, Volume 13225 von Lecture Notes in Computer Science, Seite 110-132. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Algebraic Presentation of Semifree Monads., , und . CMCS, Volume 13225 von Lecture Notes in Computer Science, Seite 110-132. Springer, (2022)Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets., , und . CoRR, (2024)Graph Rewriting and Relabeling with PBPO+., , und . ICGT, Volume 12741 von Lecture Notes in Computer Science, Seite 60-80. Springer, (2021)Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting., , und . CoRR, (2023)Correspondence Between Composite Theories and Distributive Laws., , , und . CMCS, Volume 14617 von Lecture Notes in Computer Science, Seite 194-215. Springer, (2024)Fuzzy Presheaves are Quasitoposes., , und . ICGT, Volume 13961 von Lecture Notes in Computer Science, Seite 102-122. Springer, (2023)Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes., , und . J. Log. Algebraic Methods Program., (Juni 2023)