Skip to content

Two-Variable Logic on 2-Dimensional Structures.

Amaldev Manuel, Thomas Zeume

VenueBCSL
Year2013
ProceedingsCSL

Browse the full CSL paper archive.