Skip to content

Expressivity Within Second-Order Transitive-Closure Logic.

Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema

VenueBCSL
Year2018
ProceedingsCSL

Browse the full CSL paper archive.