摘要
许可证
历史
2012年5月10日 托比亚斯·尼普考加上了偏导数的等价性检验 2011年8月26日 Christian Urban补充了一个关于正则表达式的导数和偏导数的理论
话题
相关出版物
Krauss,A.和Nipkow,T.(2011年)。 证明珍珠:正则表达式等价与关系代数。 《自动推理杂志》,49(1),95–106。 https://doi.org/10.1007/s10817-011-9223-4 作者的副本