On the public citation graph
A 2-categorical presentation of term graph rewriting
0 signed · 65 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-07854-1_169openalex-snapshot
Some fundamentals of order-algebraic semantics
inferredcites →https://doi.org/10.1007/3-540-18508-9_23openalex-snapshot
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms
inferredcites →https://doi.org/10.1007/3-540-59200-8_59openalex-snapshot
Relating two categorical models of term rewriting
inferredcites →https://doi.org/10.1007/3-540-59340-3_13openalex-snapshot
Equational reasoning with 2-dimensional diagrams
inferredcites →https://doi.org/10.1007/3-540-61604-7_69openalex-snapshot
Concurrent graph and term graph rewriting
inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot
Categories for the Working Mathematician
inferredcites →https://doi.org/10.1007/bfb0018358openalex-snapshot
An abstract formulation for rewrite systems
inferredcites →https://doi.org/10.1007/bfb0063101openalex-snapshot
Review of the elements of 2-categories
inferredcites →https://doi.org/10.1016/0168-0072(94)90020-5openalex-snapshot
Semantics of weakening and contraction
inferredcites →https://doi.org/10.1016/0304-3975(80)90013-4openalex-snapshot
Computation on graph-like expressions
inferredcites →https://doi.org/10.1016/0304-3975(92)90182-fopenalex-snapshot
Conditional rewriting logic as a unified model of concurrency
inferredcites →https://doi.org/10.1016/0304-3975(93)90063-yopenalex-snapshot
Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
inferredcites →https://doi.org/10.1016/s0049-237x(08)71104-2openalex-snapshot
Doctrines in Categorical Logic
inferredcites →https://doi.org/10.1017/s0960129500000980openalex-snapshot
Axiomatizing permutation equivalence
inferredcites →https://doi.org/10.1051/ita/1991250504451openalex-snapshot
Implementing term rewriting by jungle evaluation
inferredcites →https://doi.org/10.1073/pnas.50.5.869openalex-snapshot
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
inferredcites →https://doi.org/10.1145/177492.177577openalex-snapshot
On the adequacy of graph rewriting for simulating term rewriting
inferredcites →https://doi.org/10.3233/fi-1996-263401openalex-snapshot
EQUATIONAL TERM GRAPH REWRITING
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/inco.1999.2825openalex-snapshot
Tile Formats for Located and Mobile Systems
inferred← citeshttps://doi.org/10.1007/3-540-48321-7_2openalex-snapshot
Tile transition systems as structured coalgebras?
inferred← citeshttps://doi.org/10.1007/3-540-48483-3_3openalex-snapshot
Normal Forms for Partitions and Relations
inferred← citeshttps://doi.org/10.1007/3-540-48483-3_7openalex-snapshot
An Algebra of Graph Derivations Using Finite (co—) Limit Double Theories
inferred← citeshttps://doi.org/10.1007/3-540-64299-4_27openalex-snapshot
Mapping tile logic into rewriting logic
inferred← citeshttps://doi.org/10.1007/3-540-64299-4_36openalex-snapshot
An inductive view of graph transformation
inferred← citeshttps://doi.org/10.1007/978-3-642-02348-4_14openalex-snapshot
A Heterogeneous Pushout Approach to Term-Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-642-28412-0_11openalex-snapshot
An Institution for Graph Transformation
inferred← citeshttps://doi.org/10.1007/bfb0029949openalex-snapshot
A tile-based coordination view of asynchronous π-calculus
inferred← citeshttps://doi.org/10.1007/bfb0055062openalex-snapshot
Axioms for contextual net processes
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.02.014openalex-snapshot
On Term Graphs as an Adhesive Category
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00121-3openalex-snapshot
A Coalgebraic presentation of structured transition systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00025-1openalex-snapshot
Compositional SOS and beyond: a coalgebraic view of open systems
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00318-8openalex-snapshot
Normal forms for algebras of connections
inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00362-0openalex-snapshot
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00011-7openalex-snapshot
Dynamic connectors for concurrency
inferred← citeshttps://doi.org/10.1016/s1570-7954(00)80027-3openalex-snapshot
Some aspects of categories in computer science
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00051-9openalex-snapshot
Structured Transition Systems as Lax Coalgebras1 1Research partly supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems)
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00191-4openalex-snapshot
GETGRATS A summary of scientific results (with annotated bibliography)
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80195-6openalex-snapshot
Categorical rewriting of term-like structures
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80016-7openalex-snapshot
Internal Strategies in a Rewriting Implementation of Tile Systems
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80273-7openalex-snapshot
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80309-3openalex-snapshot
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80470-0openalex-snapshot
Tiles for Concurrent and Located Calculi
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80697-8openalex-snapshot
Can Actors and π-Agents Live Together?
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80760-1openalex-snapshot
A Logic for Modular Descriptions of Asynchronous and Synchronized Concurrent Systems
inferred← citeshttps://doi.org/10.1017/s0960129501003462openalex-snapshot
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
inferred← citeshttps://doi.org/10.1017/s0960129505004743openalex-snapshot
Monads of coalgebras: rational terms and term graphs
inferred← citeshttps://doi.org/10.1023/a:1008647417502openalex-snapshot
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
inferred← citeshttps://doi.org/10.1023/a:1008693303228openalex-snapshot
Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems
inferred← citeshttps://doi.org/10.1051/ita:1999128openalex-snapshot
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
inferred← citeshttps://doi.org/10.1093/logcom/exr021openalex-snapshot
An abstract view on syntax with sharing
inferred← citeshttps://doi.org/10.1145/1529282.1529383openalex-snapshot
Towards a compositional approach to model transformation for software development
inferred← citeshttps://doi.org/10.3233/fi-2014-1103openalex-snapshot
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
inferred← citeshttps://doi.org/10.4204/eptcs.288.3openalex-snapshot
Semantics-Preserving DPO-Based Term Graph Rewriting
inferred← citeshttps://doi.org/10.4204/eptcs.48.3openalex-snapshot
Term Graph Rewriting and Parallel Term Rewriting
inferred← citeshttps://doi.org/10.48550/arxiv.0811.3400openalex-snapshot
A Cloning Pushout Approach to Term-Graph Transformation
inferred← citeshttps://doi.org/10.48550/arxiv.1009.3682openalex-snapshot
An abstract view on syntax with sharing
inferred← citeshttps://doi.org/10.5281/zenodo.185100openalex-snapshot
FIGURE 1 in A new Jurassic carnivorous cockroach (Insecta, Blattaria, Raphidiomimidae) from the Inner Mongolia in China
inferred← citeshttps://doi.org/10.5281/zenodo.26355openalex-snapshot
Ökologisch-Faunistische Studien An Südbrasilianischen Ameisen.
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.