scientific article; zbMATH DE number 7437711

MaRDI QIDQ5014444zbMATH OpenFDO

Authors Makoto Hamana

Publication date 2 December 2021

Full work available at URL https://arxiv.org/abs/1509.05376, http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2015.8

Mathematics Subject Classification ID

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

Recommendations

• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
• Concise graphs and functional bisimulations
• A relation-algebraic theory of bisimulations
• Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points
• scientific article; zbMATH DE number 2087495
• Bisimulation and coverings for graphs and hypergraphs
• The Bisimulation Problem for Equational Graphs of Finite Out-Degree
• Bisimulation quantifiers and uniform interpolation for guarded first order logic
• The Equational Logic For Graph Algebras
• scientific article; zbMATH DE number 193710

Cites work

• scientific article; zbMATH DE number 1670485 (Why is no real title available?)
• scientific article; zbMATH DE number 2185716 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A complete inference system for a class of regular behaviours
• Axiomatizing iteration categories
• Bidirectionalizing graph transformations
• Categories for Types
• Continuous Additive Algebras and Injective Simulations of Synchronization Trees
• Group axioms for iteration
• Iteration theories of synchronization trees
• Marker-directed optimization of UnCAL graph transformations
• Paramorphisms
• Solving polynomial fixed point equations
• Structural recursion for querying ordered graphs
• The algebra of directed acyclic graphs
• Traced monoidal categories

Cited in

(1)

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

Describes a project that uses

Uses Software

• UnQL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014444)