Relational matching for graphical calculi of relations

DOI10.1016/S0020-0255(99)00018-3zbMath0943.68092OpenAlexW2052111967MaRDI QIDQ1961869

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)

Related Items (5)

A graphical representation of relational formulae with complementation ⋮ On a Graph Calculus for Algebras of Relations ⋮ An Agg Application Supporting Visual Reasoning1 ⋮ Normal forms for binary relations ⋮ Positive Fork Graph Calculus

Uses Software

• Z

Cites Work

• Relation algebraic domain constructions
• Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings
• Term graph rewriting and garbage collection using opfibrations
• Relational Methods in Computer Science
• Relational treatment of term graphs with bound variables
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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