搜索结果: 1-1 共查到“数理逻辑与数学基础 synthesis”相关记录1条 . 查询时间(0.078 秒)
On the mathematical synthesis of equational logics
Equational logic algebraic theories soundness and completeness rewriting
2011/10/8
Abstract: We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a rational recons...