A rewriting approach to satisfiability procedures

Alessandro Armando، نويسنده , , Silvio Ranise، نويسنده , , Michaël Rusinowitch، نويسنده ,

روزنامه با شماره پیاپی سال 2003

25

140

164

Term rewriting , superposition , Lists , Encryption , Arrays with extensionality , Finite sets with extensionality , Decision procedures , Homomorphism , Equational logic , automated deduction

Information and Computation

2003

Information and Computation

262141