摘要：关于二叉树代数，满足并保持同余关系的函数恒为多项式函数。
作者：Andre Arnold, Patrick Cegielski, Serge Grigorieff and Irene Guessarian
论文ID：2011.03925
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中