Skip to content

On the locality of arb-invariant first-order logic with modulo counting quantifiers.

Frederik Harwath, Nicole Schweikardt

VenueBCSL
Year2013
ProceedingsCSL

Browse the full CSL paper archive.