Rule Algebras for Adhesive Categories

Nicolas Behr, Pawel Sobocinski 0001. Rule Algebras for Adhesive Categories. Logical Methods in Computer Science, 16(3), 2020. [doi]

Abstract

Abstract is missing.