1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
Diagrammatic Algebra of First Order Logic
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon +1
We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the calculus of binary relations that has the same expressivity as first order logic and com…
cs.LO2010★ 1 cited
Proceedings Seventh Workshop on Structural Operational Semantics
Luca Aceto, Paweł Sobociński
Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. Because of its intuitive appeal and flexibilit…
cs.LO2010
Proceedings Sixth Workshop on Structural Operational Semantics
Bartek Klin, Paweł Sobociński
This volume contains the proceedings of SOS 2009, the Sixth Workshop on Structural Operational Semantics held on the 31st of August 2009 in Bologna, Italy as a affiliated workshop…