Russ Harmer
From MaRDI portal
Person:636306
Available identifiers
zbMath Open harmer.russMaRDI QIDQ636306
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Fundamentals of compositional rewriting theory | 2023-09-25 | Paper |
Concurrency theorems for non-linear rewriting theories | 2022-03-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q5021225 | 2022-01-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q5013819 | 2021-12-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q5146654 | 2021-01-26 | Paper |
Knowledge representation and update in hierarchies of graphs | 2020-07-14 | Paper |
Knowledge representation and update in hierarchies of graphs | 2020-02-06 | Paper |
Intrinsic information carriers in combinatorial dynamical systems | 2015-05-19 | Paper |
Thermodynamic Graph-Rewriting | 2013-08-12 | Paper |
Constraining rule-based dynamics with types | 2013-04-29 | Paper |
Totality in arena games | 2011-08-26 | Paper |
The Anatomy of Innocence Revisited | 2008-04-17 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Russ Harmer