The following pages link to Roy Overbeek (Q2117258):
Displaying 9 items.
- Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
- Decreasing diagrams with two labels are complete for confluence of countable systems (Q4993340) (← links)
- (Q5009706) (← links)
- Patch Graph Rewriting (Q5100730) (← links)
- (Q5109511) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
- Termination of graph transformation systems using weighted subgraph counting (Q6535508) (← links)
- Fuzzy presheaves are quasitoposes (Q6535509) (← links)
- From linear term rewriting to graph rewriting with preservation of termination (Q6649533) (← links)
