مرکز منطقه ای اطلاع رساني علوم و فناوري - A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems

Title of article :

A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems

Author/Authors :

Christoph Kreitz، نويسنده , , Stephan Schmitt، نويسنده ,

Issue Information :

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

Pages :

From page :

226

To page :

254

Journal title :

Information and Computation

Serial Year :

2000

Journal title :

Information and Computation

Record number :

261925

Link To Document :