Relational treatment of term graphs with bound variables

DOI10.1093/jigpal/6.2.259zbMath0892.68051OpenAlexW2048380469MaRDI QIDQ4383702

Wolfram Kahl

Publication date: 27 July 1998

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/975e66c34918430eb1052bce9015b5eb535b829d

zbMATH Keywords

term graphsrelational matching

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

On a Graph Calculus for Algebras of Relations ⋮ Relational matching for graphical calculi of relations ⋮ Positive Fork Graph Calculus