Pages that link to "Item:Q6156939"

From MaRDI portal

← Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939)

Jump to:navigation, search

The following pages link to Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939):

Displaying 2 items.

Specification and modelling of computing systems through graphs and graph transformation (Q6052952) (← links)
Computational category-theoretic rewriting (Q6113023) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"