Transforming structures by set interpretations

Thomas Colcombet, Christof Löding. Transforming structures by set interpretations. Logical Methods in Computer Science, 3(2), 2007. [doi]

Abstract

Abstract is missing.