E-LIB Suche - Ergebnisse für: Endrullis, Jorg - Sprache DE

Personensuche X

Sortierung: Jahr

Sortierung: Relevanz

1

Graph rewriting and relabeling with PBPO+: A unifying theor..:

Overbeek, Roy ; Endrullis, Jörg ; Rosset, Aloïs
Journal of Logical and Algebraic Methods in Programming. 133 (2023) - p. 100873 , 2023

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

2

Fuzzy Presheaves are Quasitoposes:

, In: Graph Transformation; Lecture Notes in Computer Science,

Rosset, Aloïs ; Overbeek, Roy ; Endrullis, Jörg - p. 102-122 , 2023

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

3

Termination of Graph Transformation Systems Using Weighted ..:

, In: Graph Transformation; Lecture Notes in Computer Science,

Overbeek, Roy ; Endrullis, Jörg - p. 81-101 , 2023

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

4

Fuzzy Presheaves are Quasitoposes:

Rosset, Aloïs ; Overbeek, Roy ; Endrullis, Jörg
http://arxiv.org/abs/2301.13067. , 2023

Link: http://arxiv.org/abs/230..

5

A PBPO+ Graph Rewriting Tutorial:

Overbeek, Roy ; Endrullis, Jörg
http://arxiv.org/abs/2301.12912. , 2023

Link: http://arxiv.org/abs/230..

6

Generalized Weighted Type Graphs for Termination of Graph T..:

Endrullis, Jörg ; Overbeek, Roy
http://arxiv.org/abs/2307.07601. , 2023

Link: http://arxiv.org/abs/230..

7

Termination of Graph Transformation Systems Using Weighted ..:

Overbeek, Roy ; Endrullis, Jörg
http://arxiv.org/abs/2303.07812. , 2023

Link: http://arxiv.org/abs/230..

8

Algebraic Presentation of Semifree Monads:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

Rosset, Aloïs ; Hansen, Helle Hvid ; Endrullis, Jörg - p. 110-132 , 2022

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

9

Graph Rewriting and Relabeling with PBPO+: A Unifying Theor..:

Overbeek, Roy ; Endrullis, Jörg ; Rosset, Aloïs
http://arxiv.org/abs/2203.01032. , 2022

Link: http://arxiv.org/abs/220..

10

Algebraic Presentation of Semifree Monads:

Rosset, Aloïs ; Hansen, Helle Hvid ; Endrullis, Jörg
https://research.rug.nl/en/publications/384da74c-bd3a-47fc-86c5-2e0feaab5e70. , 2022

Link: https://hdl.handle.net/1..

11

Algebraic Presentation of Semifree Monads:

Rosset, Aloïs ; Hansen, Helle Hvid ; Endrullis, Jörg
http://arxiv.org/abs/2205.05392. , 2022

Link: http://arxiv.org/abs/220..

12

Graph Rewriting and Relabeling with PBPO$$^{+}$$:

, In: Graph Transformation; Lecture Notes in Computer Science,

Overbeek, Roy ; Endrullis, Jörg ; Rosset, Aloïs - p. 60-80 , 2021

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

13

Star games and hydras:

Endrullis, Jörg ; Klop, Jan Willem ; Overbeek, Roy
Endrullis , J , Klop , J W & Overbeek , R 2021 , ' Star games and hydras ' , Logical Methods in Computer Science , vol. 17 , no. 2 , 20 , pp. 1-32 . https://doi.org/10.23638/LMCS-17(2:20)2021. , 2021

Link: https://research.vu.nl/e..

14

Star Games and Hydras:

Jörg Endrullis ; Jan Willem Klop ; Roy Overbeek
https://lmcs.episciences.org/6056/pdf. , 2021

Link: https://doi.org/10.23638..

15

From Linear Term Rewriting to Graph Rewriting with Preserva..:

Overbeek, Roy ; Endrullis, Jörg
http://arxiv.org/abs/2106.13826. , 2021

Link: http://arxiv.org/abs/210..

1-15