Open AccessKnowledge Problems in Equational Extensions of Subterm Convergent Theories
Author(s) -
Serdar Erbatur,
Andrew M. Marshall,
Christophe Ringeissen
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - decidability , unification , modulo , commutative property , equational logic , equivalence (formal languages) , term (time) , context (archaeology) , computer science , mathematics , algebra over a field , associative property , discrete mathematics , rewriting , pure mathematics , programming language , paleontology , physics , quantum mechanics , biology