( en | de | ru )

 

Disambiguierung von "Overbeek, Roy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes.

, , und . J. Log. Algebraic Methods Program., (Juni 2023)

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.

Roy Hornig

Beschreibung mikro-rheologischer Vorgänge und resultierender Verbundstrukturen beim Elastomermischprozeß im Innenmischer durch rheologische Untersuchungen. NA Halle-Wittenberg, (2009)

Smritindu Roy

David Roy

Wolfgang Roy

Trina Roy

 

Weitere Publikationen von Autoren mit dem selben Namen

Termination of Graph Transformation Systems Using Weighted Subgraph Counting., und . ICGT, Volume 13961 von Lecture Notes in Computer Science, Seite 81-101. Springer, (2023)Formalizing Determinacy of Concurrent Revisions.. CoRR, (2019)From Linear Term Rewriting to Graph Rewriting with Preservation of Termination., und . GCM@STAF, Volume 350 von EPTCS, Seite 19-34. (2021)Formalization of Concurrent Revisions.. Arch. Formal Proofs, (2018)Formalizing determinacy of concurrent revisions.. CPP, Seite 258-269. ACM, (2020)Generalized Weighted Type Graphs for Termination of Graph Transformation Systems., und . ICGT, Volume 14774 von Lecture Notes in Computer Science, Seite 39-58. Springer, (2024)Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting., , und . CoRR, (2023)Graph Rewriting and Relabeling with PBPO+., , und . ICGT, Volume 12741 von Lecture Notes in Computer Science, Seite 60-80. Springer, (2021)Patch Graph Rewriting., und . ICGT, Volume 12150 von Lecture Notes in Computer Science, Seite 128-145. Springer, (2020)A PBPO+ Graph Rewriting Tutorial., und . TERMGRAPH@FSCD, Volume 377 von EPTCS, Seite 45-63. (2022)