The Mathematics of Record Handling

From MaRDI portal

Revision as of 20:23, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3904043

Jump to:navigation, search

DOI10.1137/0209034zbMath0455.68021OpenAlexW2059438585MaRDI QIDQ3904043

Hartmut Ehrig, Barry K. Rosen

Publication date: 1980

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/74ceace08207a344a0a877ca106db4c608d2c20c

zbMATH Keywords

computational complexity production correctness category theory derivation Church-Rosser property garbage collection asynchronous parallelism indirect adressing record handling algorithms record structure

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Data structures (68P05)

Related Items (3)

Confluence of indirection reductions in graph rewrite systems ⋮ Graph grammars and operational semantics ⋮ Transformations of structures: An algebraic approach

This page was built for publication: The Mathematics of Record Handling

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3904043&oldid=17554235"