Definability and Transformations for Cost Logics and Automatic Structures.

Martin Lang, Christof Lding, Amaldev Manuel

Browse the full MFCS paper archive.