An Agg Application Supporting Visual Reasoning1

DOI10.1016/S1571-0661(04)00183-5zbMath1262.68078MaRDI QIDQ4921559

Marta Simeoni, Andrea Formisano

Publication date: 10 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

A graphical representation of relational formulae with complementation ⋮ Compiling dyadic first-order specifications into map algebra

Cites Work

• The origin of relation algebras in the development and axiomatization of the calculus of relations
• Compiling dyadic first-order specifications into map algebra
• Proofs with graphs
• Relational matching for graphical calculi of relations
• Handbook of Graph Grammars and Computing by Graph Transformation
• Unnamed Item
• Unnamed Item

This page was built for publication: An Agg Application Supporting Visual Reasoning1