ventilate
发表于 2025-4-1 05:35:04
http://reply.papertrans.cn/39/3802/380191/380191_61.png
appall
发表于 2025-4-1 09:00:47
Linear Paramodulation modulo Equalityional equational theory and a conditional equational program. Simple examples from deduction systems motivate our approach. We formally define the calculus for generalized equational programs which is based on the inference rules E-paramodulation and E-reflection. This calculus is proven to be sound