Relational matching for graphical calculi of relations

DOI10.1016/S0020-0255(99)00018-3MaRDI QIDQ1961869zbMATH OpenOpenAlexFDO

Authors Wolfram Kahl

Publication date 30 January 2000

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0255(99)00018-3

zbMATH Keywords

hierarchical relational diagramsrelational matching

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Proofs with graphs
• On a Graph Calculus for Algebras of Relations
• Relational graph rewritings
• A note on proofs with graphs
• Reasoning with graphs

Cites work

• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 177420 (Why is no real title available?)
• scientific article; zbMATH DE number 177452 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings
• Relation algebraic domain constructions
• Relational Methods in Computer Science
• Relational treatment of term graphs with bound variables
• Term graph rewriting and garbage collection using opfibrations

Cited in

(7)

• A graphical representation of relational formulae with complementation
• An \textsc{Agg} application supporting visual reasoning
• Calculational proofs in relational graphical linear algebra
• Positive Fork Graph Calculus
• Normal forms for binary relations
• Simulation relations for pattern matching in directed graphs
• On a Graph Calculus for Algebras of Relations

Describes a project that uses

Uses Software

• Z

This page was built for publication: Relational matching for graphical calculi of relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1961869)