مرکز منطقه ای اطلاع رساني علوم و فناوري - Building small equality graphs for deciding equality logic with uninterpreted functions

Title of article :

Building small equality graphs for deciding equality logic with uninterpreted functions

Author/Authors :

Yoav Rodeh، نويسنده , , Ofer Strichman، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Journal title :

Information and Computation

Serial Year :

2006

Journal title :

Information and Computation

Record number :

262325

Link To Document :