On the public citation graph
Algebra, Meaning, and Computation
0 signed · 42 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.1002/(sici)1097-024x(200003)30:3<259::aid-spe298>3.0.co;2-yopenalex-snapshot
Efficient annotated terms
inferredcites →https://doi.org/10.1007/3-540-36579-6_5openalex-snapshot
A Pattern Matching Compiler for Multiple Target Languages
inferredcites →https://doi.org/10.1007/3-540-44881-0_4openalex-snapshot
A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
inferredcites →https://doi.org/10.1007/3-540-45306-7_26openalex-snapshot
The Asf+Sdf Meta-environment: A Component-Based Language Development Environment
inferredcites →https://doi.org/10.1007/978-3-540-30203-2_7openalex-snapshot
Analysis of Metabolic Pathways by Graph Transformation
inferredcites →https://doi.org/10.1007/978-3-540-30502-6_27openalex-snapshot
Rule-Based Programming and Proving: The ELAN Experience Outcomes
inferredcites →https://doi.org/10.1007/978-94-015-9805-7openalex-snapshot
Gas-Phase Thermal Reactions
inferredcites →https://doi.org/10.1007/bfb0051317openalex-snapshot
An algebraic model of constitutional chemistry as a basis for chemical computer programs
inferredcites →https://doi.org/10.1016/0140-6701(95)95167-9openalex-snapshot
95/06336 Low-temperature combustion: Automatic generation of primary oxidation reactions and lumping procedures
inferredcites →https://doi.org/10.1016/j.entcs.2004.02.045openalex-snapshot
An Integrated Development Environment for Pattern Matching Programming
inferredcites →https://doi.org/10.1016/j.entcs.2005.06.040openalex-snapshot
From Chemical Rules to Term Rewriting
inferredcites →https://doi.org/10.1016/s0097-8485(99)00092-3openalex-snapshot
Computer based generation of reaction mechanisms for gas-phase oxidation
inferredcites →https://doi.org/10.1016/s0304-3975(01)00359-0openalex-snapshot
Maude: specification and programming in rewriting logic
inferredcites →https://doi.org/10.1017/s0956796800003907openalex-snapshot
Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories
inferredcites →https://doi.org/10.1021/ci00025a032openalex-snapshot
Reaction: System for Modeling Chemical Reactions
inferredcites →https://doi.org/10.1021/ci00062a008openalex-snapshot
SMILES. 2. Algorithm for generation of unique SMILES notation
inferredcites →https://doi.org/10.1021/ie020581wopenalex-snapshot
Application of Computational Kinetic Mechanism Generation to Model the Autocatalytic Pyrolysis of Methane
inferredcites →https://doi.org/10.1021/ie990608kopenalex-snapshot
Computer Generation of Reaction Mechanisms Using Quantitative Rate Information: Application to Long-Chain Hydrocarbon Pyrolysis
inferredcites →https://doi.org/10.1145/1066677.1066712openalex-snapshot
Graphical rule-based representation of signal-transduction networks
inferredcites →https://doi.org/10.1145/1069774.1069792openalex-snapshot
Formal validation of pattern matching code
inferredcites →https://doi.org/10.1145/126537.126539openalex-snapshot
Rewriting techniques and applications, RTA'91
inferredcites →https://doi.org/10.1145/289423.289425openalex-snapshot
Building program optimizers with rewriting strategies
inferredcites →https://doi.org/10.1145/504282.504302openalex-snapshot
Visitor combination and traversal control
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-642-54624-2openalex-snapshot
Specification, Algebra, and Software
inferred← citeshttps://doi.org/10.1016/j.cose.2022.102909openalex-snapshot
Formal verification of TLS 1.2 by automatically generating proof scores
inferred← citeshttps://doi.org/10.1016/j.entcs.2014.02.010openalex-snapshot
Freyd categories are Enriched Lawvere Theories
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.09.005openalex-snapshot
Equational Logic and Categorical Semantics for Multi-Languages
inferred← citeshttps://doi.org/10.1016/j.fss.2015.08.009openalex-snapshot
Topological systems as a framework for institutions
inferred← citeshttps://doi.org/10.1016/j.ic.2009.10.005openalex-snapshot
Regaining cut admissibility in deduction modulo using abstract completion
inferred← citeshttps://doi.org/10.1016/j.jal.2015.01.004openalex-snapshot
Equations for formally real meadows
inferred← citeshttps://doi.org/10.1016/j.scico.2018.10.007openalex-snapshot
Bisimilarity of open terms in stream GSOS
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.12.015openalex-snapshot
Meadows and the equational specification of division
inferred← citeshttps://doi.org/10.1017/s0017089515000166openalex-snapshot
ON COLIMITS OVER ARBITRARY POSETS
inferred← citeshttps://doi.org/10.1017/s0956796809007345openalex-snapshot
Algebra of programming in Agda: Dependent types for relational program derivation
inferred← citeshttps://doi.org/10.1145/2951913.2951917openalex-snapshot
Unifiers as equivalences: proof-relevant unification of dependently typed data
inferred← citeshttps://doi.org/10.1145/3022670.2951917openalex-snapshot
Unifiers as equivalences: proof-relevant unification of dependently typed data
inferred← citeshttps://doi.org/10.1145/3397537.3398481openalex-snapshot
Pattern-match-oriented proof writing language
inferred← citeshttps://doi.org/10.3390/electronics14071483openalex-snapshot
Formal Verification of Autonomous Vehicle Group Control Systems via Specification Translation of Multitask Hybrid Observational Transition Systems
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.