Collagories for Relational Adhesive Rewriting

DOI10.1007/978-3-642-04639-1_15zbMath1267.68129OpenAlexW1547334701MaRDI QIDQ3651518

Wolfram Kahl

Publication date: 11 December 2009

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04639-1_15

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Collagories: relation-algebraic reasoning for gluing constructions

This page was built for publication: Collagories for Relational Adhesive Rewriting