Title of article :
Decision procedures for term algebras with integer constraints
Author/Authors :
Ting Zhang، نويسنده , , Henny B. Sipma، نويسنده , , Zohar Manna، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
Decision procedures , Term algebras , Presburger arithmetic , Combination of satisfiability procedures , Quantifier elimination , Recursive data structures
Journal title :
Information and Computation
Journal title :
Information and Computation
