Open AccessAlgebraic critical pair lemma
Author(s) -
Cyrille Chenavier,
Benjamin Dupont,
Philippe Malbos
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - confluence , rewriting , lemma (botany) , axiom , mathematics , modulo , algebraic number , algebra over a field , algebraic geometry , pure mathematics , discrete mathematics , computer science , geometry , mathematical analysis , ecology , poaceae , biology , programming language