Eructation
发表于 2025-3-23 09:45:45
http://reply.papertrans.cn/83/8300/829957/829957_11.png
Substitution
发表于 2025-3-23 17:02:13
https://doi.org/10.1007/3-540-45127-7Beta; Rewriting; Variable; algorithm; algorithms; automata; automated deduction; complexity; explicite subst
forecast
发表于 2025-3-23 19:04:34
http://reply.papertrans.cn/83/8300/829957/829957_13.png
修正案
发表于 2025-3-23 22:31:22
Aart MiddeldorpIncludes supplementary material:
MINT
发表于 2025-3-24 05:47:39
http://reply.papertrans.cn/83/8300/829957/829957_15.png
窝转脊椎动物
发表于 2025-3-24 09:05:10
http://reply.papertrans.cn/83/8300/829957/829957_16.png
Locale
发表于 2025-3-24 11:58:09
http://reply.papertrans.cn/83/8300/829957/829957_17.png
Onerous
发表于 2025-3-24 15:45:56
http://reply.papertrans.cn/83/8300/829957/829957_18.png
Obstreperous
发表于 2025-3-24 22:41:19
http://reply.papertrans.cn/83/8300/829957/829957_19.png
残酷的地方
发表于 2025-3-25 00:57:24
http://reply.papertrans.cn/83/8300/829957/829957_20.png