Title of article
A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems
Author/Authors
Christoph Kreitz، نويسنده , , Stephan Schmitt، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
29
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