Relational treatment of term graphs with bound variables
From MaRDI portal
Publication:4383702
DOI10.1093/jigpal/6.2.259zbMath0892.68051OpenAlexW2048380469MaRDI QIDQ4383702
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
Related Items
On a Graph Calculus for Algebras of Relations ⋮ Relational matching for graphical calculi of relations ⋮ Positive Fork Graph Calculus