Venkatesan T. Chakaravarthy, Sambuddha Roy. Finding Irrefutable Certificates for S::2:::::p::: via Arthur and Merlin. In Susanne Albers, Pascal Weil, editors, STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings. Volume 08001 of Dagstuhl Seminar Proceedings, pages 157-168, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]
@inproceedings{ChakaravarthyR08:0,
title = {Finding Irrefutable Certificates for S::2:::::p::: via Arthur and Merlin},
author = {Venkatesan T. Chakaravarthy and Sambuddha Roy},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1342},
tags = {certification},
researchr = {https://researchr.org/publication/ChakaravarthyR08%3A0},
cites = {0},
citedby = {0},
pages = {157-168},
booktitle = {STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings},
editor = {Susanne Albers and Pascal Weil},
volume = {08001},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}