Confluence of algebraic rewriting systems

Cyrille Chenavier, Benjamin Dupont, Philippe Malbos

Research output: Working paper and reports › Preprint

Fields of science

@techreport{c11da3741f0e43f1ad7201fe20763661,

title = "Confluence of algebraic rewriting systems",

author = "Cyrille Chenavier and Benjamin Dupont and Philippe Malbos",

year = "2020",

month = dec,

doi = "10.48550/arXiv.2004.14361",

language = "English",

series = "arXiv.org",

number = "2004.14361",

type = "WorkingPaper",

}