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]
@inproceedings{Messner02,
title = {On the Structure of the Simulation Order of Proof Systems},
author = {Jochen Messner},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2420/24200581.htm},
researchr = {https://researchr.org/publication/Messner02},
cites = {0},
citedby = {0},
pages = {581-592},
booktitle = {Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings},
editor = {Krzysztof Diks and Wojciech Rytter},
volume = {2420},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-44040-2},
}