Confluence of algebraic rewriting systems

Cyrille Chenavier
, Benjamin Dupont
, Philippe Malbos

Institut für Algebra

Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation

Originalsprache	Englisch
Seitenumfang	30
DOIs	https://doi.org/10.48550/arXiv.2004.14361
Publikationsstatus	Veröffentlicht - Dez. 2020

Publikationsreihe

Name	arXiv.org
Nr.	2004.14361
ISSN (Druck)	2331-8422

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101013 Mathematische Logik
102031 Theoretische Informatik

JKU-Schwerpunkte

Digital Transformation

Zugriff auf Dokument

10.48550/arXiv.2004.14361

Dieses zitieren

@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",

}