1
Algebraic anti-unification
深度探讨代数反统一理论，助你理解程序综合与推理中的核心数学结构
arXiv:2407.15510v2 Announce Type: replace Abstract: Abstraction is key to human and artificial intelligence as it allows one to identify common struct…
深度探讨代数反统一理论，助你理解程序综合与推理中的核心数学结构
arXiv:2407.15510v2 Announce Type: replace Abstract: Abstraction is key to human and artificial intelligence as it allows one to identify common struct…