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
40
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