Skip to content

First-Order Logic with Connectivity Operators.

Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny

VenueBCSL
Year2022
ProceedingsCSL

Browse the full CSL paper archive.