Diagrammatic Semantics for Digital Circuits.

DOI10.4230/LIPIcs.CSL.2017.24zbMath1440.68169arXiv1703.10247OpenAlexW2962749966MaRDI QIDQ5111192

Achim Jung, Aliaume Lopez, Dan R. Ghica

Publication date: 26 May 2020

Full work available at URL: https://arxiv.org/abs/1703.10247

zbMATH Keywords

operational semanticsrewritingstring diagramsdigital circuits

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Switching theory, applications of Boolean algebras to circuits and networks (94C11) String diagrams and graphical calculi (18M30)

Related Items (8)

String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ Monoidal Width ⋮ Monoidal Width: Capturing Rank Width ⋮ Categorical foundations of gradient-based learning ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Graphical Conjunctive Queries.

This page was built for publication: Diagrammatic Semantics for Digital Circuits.