2010/11/05 by Dominique Duval, Duval, Dominique
Computer Science · #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
paper · pdf · doi:10.48550/arxiv.1011.1330
openalex publication_date 2010/11/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.