Title of article
A rewriting approach to satisfiability procedures
Author/Authors
Alessandro Armando، نويسنده , , Silvio Ranise، نويسنده , , Michaël Rusinowitch، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
25
From page
140
To page
164
Keywords
Term rewriting , superposition , Lists , Encryption , Arrays with extensionality , Finite sets with extensionality , Decision procedures , Homomorphism , Equational logic , automated deduction
Journal title
Information and Computation
Serial Year
2003
Journal title
Information and Computation
Record number
262141
Link To Document