مرکز منطقه ای اطلاع رساني علوم و فناوري - Modular proof systems for partial functions with Evans equality

Title of article :

Modular proof systems for partial functions with Evans equality

Author/Authors :

Harald Ganzinger، نويسنده , , Viorica Sofronie-Stokkermans، نويسنده , , Uwe Waldmann، نويسنده ,

Issue Information :

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

Pages :

From page :

1453

To page :

1492

Journal title :

Information and Computation

Serial Year :

2006

Journal title :

Information and Computation

Record number :

262370

Link To Document :