scientific article; zbMATH DE number 7437711

zbMath1476.68073arXiv1509.05376MaRDI QIDQ5014444

Makoto Hamana

Publication date: 2 December 2021

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

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

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (1)

The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics

Uses Software

• UnQL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A complete inference system for a class of regular behaviours
• Paramorphisms
• Iteration theories of synchronization trees
• Group axioms for iteration
• Categories for Types
• Continuous Additive Algebras and Injective Simulations of Synchronization Trees
• Traced monoidal categories
• Marker-Directed Optimization of UnCAL Graph Transformations
• The Algebra of Directed Acyclic Graphs
• Solving polynomial fixed point equations
• Bidirectionalizing graph transformations
• Structural recursion for querying ordered graphs

This page was built for publication: