scientific article; zbMATH DE number 7437711
From MaRDI portal
Publication:5014444
zbMATH Open1476.68073arXiv1509.05376MaRDI QIDQ5014444FDOQ5014444
Authors: Makoto Hamana
Publication date: 2 December 2021
Full work available at URL: https://arxiv.org/abs/1509.05376
Title of this publication is not available (Why is that?)
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
Database theory (68P15) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)
Cites Work
- Iteration theories of synchronization trees
- Group axioms for iteration
- Title not available (Why is that?)
- Categories for Types
- Continuous Additive Algebras and Injective Simulations of Synchronization Trees
- Title not available (Why is that?)
- Traced monoidal categories
- The algebra of directed acyclic graphs
- A complete inference system for a class of regular behaviours
- Axiomatizing iteration categories
- Bidirectionalizing graph transformations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Paramorphisms
- Solving polynomial fixed point equations
- Structural recursion for querying ordered graphs
- Marker-directed optimization of UnCAL graph transformations
Cited In (1)
Uses Software
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)