Characterization and Decidability of FC-Definable Regular Languages.

Sam M. Thompson, Nicole Schweikardt, Dominik D. Freydenberger

Browse the full LICS paper archive.