scientific article; zbMATH DE number 7450012

MaRDI QIDQ5018495

Yuhang Zhao, Wolfram Kahl

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1902.02011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

A flexible categorial formalisation of term graphs as directed hypergraphs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards ``mouldable code via nested code graph transformation
• Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
• Bisimilarity in term graph rewriting.
• An algebraic presentation of term graphs, via gs-monoidal categories
• $\mathcal M, \mathcal N$ -Adhesive Transformation Systems
• Implementing term rewriting by jungle evaluation
• A Heterogeneous Pushout Approach to Term-Graph Transformation
• Categorical rewriting of term-like structures
• Essentials of Term Graph Rewriting
• Rewriting on cyclic structures: Equivalence between the operational and the categorical description
• An Optimized Cell BE Special Function Library Generated by Coconut
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Relational Methods in Computer Science

This page was built for publication: