5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2022
When Locality Meets Preservation
Aliaume Lopez
This paper investigates the expressiveness of a fragment of first-order sentences in Gaifman normal form, namely the positive Boolean combinations of basic local sentences. We show…
cs.PL2017★ 5 cited
Diagrammatic Semantics for Digital Circuits
Dan R. Ghica, Achim Jung, Aliaume Lopez
We introduce a general diagrammatic theory of digital circuits, based on connections between monoidal categories and graph rewriting. The main achievement of the paper is conceptua…