Roy Overbeek

From MaRDI portal
Person:2117258

Available identifiers

zbMath Open overbeek.royMaRDI QIDQ2117258

List of research outcomes





PublicationDate of PublicationType
From linear term rewriting to graph rewriting with preservation of termination2024-12-06Paper
https://portal.mardi4nfdi.de/entity/Q61215142024-02-27Paper
Termination of graph transformation systems using weighted subgraph counting2024-01-12Paper
Fuzzy presheaves are quasitoposes2024-01-12Paper
Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes2023-06-19Paper
Patch Graph Rewriting2022-09-01Paper
Graph rewriting and relabeling with PBPO\textsuperscript{+}2022-03-21Paper
https://portal.mardi4nfdi.de/entity/Q50097062021-08-05Paper
Decreasing diagrams with two labels are complete for confluence of countable systems2021-06-15Paper
https://portal.mardi4nfdi.de/entity/Q51095112020-05-12Paper

Research outcomes over time

This page was built for person: Roy Overbeek

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2117258&oldid=6592816"
Powered by MediaWiki