Presenting basic graph logic

DOI10.1007/978-3-030-86062-2_12OpenAlexW3201265250MaRDI QIDQ2671594

Márcia R. Cerioli, Petrucio Viana, Leandro Suguitani

Publication date: 3 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86062-2_12

zbMATH Keywords

diagrammatic reasoningrelation algebrabinary relationsbasic graph logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• On graph reasoning
• The equational theory of union-free algebras of relations
• Proofs with graphs
• Correctness of high-level transformation systems relative to nested conditions
• Graph Transformations

This page was built for publication: Presenting basic graph logic