On the public citation graph

Deriving graphs from graphs by applying a production

https://doi.org/10.1007/bf00289616
0 signed · 70 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4684-9936-0_3openalex-snapshot
Categories and Functors
inferredcites →https://doi.org/10.1016/s0021-9800(70)80014-xopenalex-snapshot
Heterogeneous algebras
inferredcites →https://doi.org/10.1016/s0022-0000(73)80032-7openalex-snapshot
Characterizations of flowchartable recursions
inferredcites →https://doi.org/10.1109/swat.1973.11openalex-snapshot
Graph-grammars: An algebraic approach
inferredcites →https://doi.org/10.1109/swat.1974.13openalex-snapshot
Initial algebra semantics
inferredcites →https://doi.org/10.1137/0201010openalex-snapshot
Depth-First Search and Linear Graph Algorithms
inferredcites →https://doi.org/10.1145/321738.321750openalex-snapshot
Tree-Manipulating Systems and Church-Rosser Theorems
inferredcites →https://doi.org/10.1145/355609.362336openalex-snapshot
Inductive methods for proving properties of programs
inferredcites →https://doi.org/10.1145/512927.512944openalex-snapshot
Procedure linkage optimization working paper
inferredcites →https://doi.org/10.1145/800125.804054openalex-snapshot
Correct and optimal implementations of recursion in a simple programming language
inferredcites →https://doi.org/10.1147/rd.191.0012openalex-snapshot
Stream Processing Functions
inferredcites →https://doi.org/10.5282/ubm/epub.7244openalex-snapshot
Categories and Functors

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/malq.19810272503openalex-snapshot
Efficient Combinatory Reduction
inferred← citeshttps://doi.org/10.1002/mana.19790910111openalex-snapshot
Pushout‐Properties: An analysis of gluing constructions for graphs
inferred← citeshttps://doi.org/10.1007/11601548_16openalex-snapshot
Confluence of Graph Transformation Revisited
inferred← citeshttps://doi.org/10.1007/3-540-07854-1_188openalex-snapshot
Parallelism of manipulations in multidimensional information structures
inferred← citeshttps://doi.org/10.1007/3-540-08342-1_16openalex-snapshot
The mathematics of record handling
inferred← citeshttps://doi.org/10.1007/3-540-08442-8_80openalex-snapshot
On the Relation between Graph Grammars and Graph L-Systems
inferred← citeshttps://doi.org/10.1007/3-540-08442-8_91openalex-snapshot
Embedding Theorems in the Algebraic Theory of Graph Grammars
inferred← citeshttps://doi.org/10.1007/3-540-08442-8_94openalex-snapshot
Transformations of Derivation Sequences in Graph Grammars
inferred← citeshttps://doi.org/10.1007/3-540-08442-8_95openalex-snapshot
Applicability of a production in a categorical grammar
inferred← citeshttps://doi.org/10.1007/3-540-08442-8_99openalex-snapshot
Graph Grammars
inferred← citeshttps://doi.org/10.1007/3-540-08921-7_65openalex-snapshot
Concurrency of manipulations in multidimensional information structures
inferred← citeshttps://doi.org/10.1007/3-540-08921-7_66openalex-snapshot
Deriving structures from structures
inferred← citeshttps://doi.org/10.1007/3-540-15198-2_17openalex-snapshot
Amalgamation of graph transformations with applications to synchronization
inferred← citeshttps://doi.org/10.1007/3-540-18771-5_49openalex-snapshot
A representation of graphs by algebraic expressions and its use for graph rewriting systems
inferred← citeshttps://doi.org/10.1007/3-540-45832-8_12openalex-snapshot
Relabelling in Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-031-36709-0_7openalex-snapshot
Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem
inferred← citeshttps://doi.org/10.1007/978-3-540-31847-7_8openalex-snapshot
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically
inferred← citeshttps://doi.org/10.1007/978-3-642-48895-5_23openalex-snapshot
Categorical Approach to Graphic Systems and Graph Grammars
inferred← citeshttps://doi.org/10.1007/978-3-642-67485-3_9openalex-snapshot
Graphentheoretische Modelle und Methoden
inferred← citeshttps://doi.org/10.1007/978-3-642-93048-5_8openalex-snapshot
Graph Rewriting Systems and their Application in Biology
inferred← citeshttps://doi.org/10.1007/978-3-662-40153-8_32openalex-snapshot
Applicability of a Production in a Categorical Grammar
inferred← citeshttps://doi.org/10.1007/978-94-009-5315-4_26openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1007/bf00117743openalex-snapshot
Knowledge representation for mathematical discovery: Three experiments in graph theory
inferred← citeshttps://doi.org/10.1007/bf00288659openalex-snapshot
Grammars on partial graphs
inferred← citeshttps://doi.org/10.1007/bf00289155openalex-snapshot
A class of linearly parsable graph grammars
inferred← citeshttps://doi.org/10.1007/bf01692060openalex-snapshot
Graph expressions and graph rewritings
inferred← citeshttps://doi.org/10.1007/bf01752403openalex-snapshot
Transformations of structures: An algebraic approach
inferred← citeshttps://doi.org/10.1007/bf02252341openalex-snapshot
On labelled graph grammars
inferred← citeshttps://doi.org/10.1007/bfb0025715openalex-snapshot
A tutorial and bibliographical survey on graph grammars
inferred← citeshttps://doi.org/10.1007/bfb0025717openalex-snapshot
Rewriting systems as a tool for relational data base design
inferred← citeshttps://doi.org/10.1007/bfb0025720openalex-snapshot
Constructing specifications of abstract data types by replacements
inferred← citeshttps://doi.org/10.1007/bfb0035788openalex-snapshot
Modular system design applying graph grammars techniques
inferred← citeshttps://doi.org/10.1016/0020-0255(90)90042-9openalex-snapshot
On structured graph grammars. I
inferred← citeshttps://doi.org/10.1016/0020-0255(90)90044-bopenalex-snapshot
On structured graph grammars. II
inferred← citeshttps://doi.org/10.1016/0022-0000(82)90029-0openalex-snapshot
Processes of transforming structures
inferred← citeshttps://doi.org/10.1016/0022-0000(87)90030-4openalex-snapshot
Amalgamation of graph transformations: A synchronization mechanism
inferred← citeshttps://doi.org/10.1016/0146-664x(78)90113-2openalex-snapshot
Picture processing: 1977
inferred← citeshttps://doi.org/10.1016/0304-3975(77)90042-1openalex-snapshot
Etude syntaxique de certains langages solutions d'equations avec operateurs
inferred← citeshttps://doi.org/10.1016/0304-3975(80)90016-xopenalex-snapshot
Parallelism and concurrency of graph manipulations
inferred← citeshttps://doi.org/10.1016/0304-3975(80)90070-5openalex-snapshot
Applicability of a production in a categorical grammar
inferred← citeshttps://doi.org/10.1016/0304-3975(84)90135-xopenalex-snapshot
Restrictions on NLC graph grammars
inferred← citeshttps://doi.org/10.1016/0304-3975(91)90042-zopenalex-snapshot
Foundations of rule-based design of modular systems
inferred← citeshttps://doi.org/10.1016/0304-3975(95)00007-0openalex-snapshot
Confluence for graph transformations
inferred← citeshttps://doi.org/10.1016/0306-4379(80)90014-9openalex-snapshot
Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems
inferred← citeshttps://doi.org/10.1016/0306-4379(87)90026-3openalex-snapshot
An architecture for processing graph-grammar applications
inferred← citeshttps://doi.org/10.1016/0898-1221(92)90124-zopenalex-snapshot
Introduction to graph grammars with applications to semantic networks
inferred← citeshttps://doi.org/10.1016/b978-0-444-88074-1.50010-xopenalex-snapshot
Graph Rewriting: An Algebraic and Logic Approach
inferred← citeshttps://doi.org/10.1016/s0019-9958(79)90088-3openalex-snapshot
A mathematical investigation of propagating graph 0L systems
inferred← citeshttps://doi.org/10.1016/s0022-0000(75)80069-9openalex-snapshot
Graph grammars and applications to specialization and evolution in biology
inferred← citeshttps://doi.org/10.1017/s0960129501003425openalex-snapshot
Double-pushout graph transformation revisited
inferred← citeshttps://doi.org/10.1109/tsmc.1980.4308469openalex-snapshot
Graph Monomorphism Algorithms
inferred← citeshttps://doi.org/10.1137/0209034openalex-snapshot
The Mathematics of Record Handling
inferred← citeshttps://doi.org/10.1145/1008343.1008344openalex-snapshot
A Church-Rosser theorem for graph grammars
inferred← citeshttps://doi.org/10.1145/322290.322303openalex-snapshot
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
inferred← citeshttps://doi.org/10.1145/324634.325230openalex-snapshot
Activity productions for graph grammars
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.39.647.667openalex-snapshot
Construction of Pushout Complements in the Category of Hypergraphs
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.67.941openalex-snapshot
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models
inferred← citeshttps://doi.org/10.4204/eptcs.309.5openalex-snapshot
Rule-based Graph Repair
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.