We generalize a pushout complement algorithm from graph rewriting to finitely-presented C-sets and structured cospans, allowing us to perform ...
確定! 回上一頁