Skip to content

Adding Transitivity and Counting to the Fluted Fragment.

Ian Pratt-Hartmann, Lidia Tendera

VenueBCSL
Year2023
ProceedingsCSL

Browse the full CSL paper archive.