Jochen Messner. On the Structure of the Simulation Order of Proof Systems. In Krzysztof Diks, Wojciech Rytter, editors, Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings. Volume 2420 of Lecture Notes in Computer Science, pages 581-592, Springer, 2002. [doi]
No reviews for this publication, yet.