Computing knowledge in equational extensions of subterm convergent theories
Erbatur, Serdar, Marshall, Andrew M., Ringeissen, ChristopheLanguage:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129520000031
Date:
March, 2020
File:
PDF, 706 KB
english, 2020