Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Amores, Michael Christian Fink"'
Motivated by questions from program transformations, eight notions of isomorphisms between term rewriting systems are defined, analysed, and classified. The notions include global isomorphisms, where the renaming of variables and function symbols is
Externí odkaz:
http://arxiv.org/abs/2106.13520
