A hypergraph rewriting language and its semantics
From MaRDI portal
Publication:1775393
DOI10.14492/hokmj/1285766200zbMath1098.68056OpenAlexW1979940391MaRDI QIDQ1775393
Publication date: 6 May 2005
Published in: Hokkaido Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.hokmj/1285766200
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)
This page was built for publication: A hypergraph rewriting language and its semantics