%0 Journal Article %1 journals/ijfcs/ArvindKS95 %A Arvind, Vikraman %A Köbler, Johannes %A Schuler, Rainer %D 1995 %J Int. J. Found. Comput. Sci. %K %N 2 %P 137-153 %T On Helping and Interactive Proof Systems. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs6.html#ArvindKS95 %V 6

@article{journals/ijfcs/ArvindKS95, added-at = {2023-12-13T08:49:18.000+0100}, author = {Arvind, Vikraman and Köbler, Johannes and Schuler, Rainer}, biburl = {https://www.bibsonomy.org/bibtex/2063b006359fd62cbc257b66b2b078bab/admin}, ee = {http://dx.doi.org/10.1142/S012905419500010X}, interhash = {c7cbb711f4287e432e54e7615c2f8e10}, intrahash = {063b006359fd62cbc257b66b2b078bab}, journal = {Int. J. Found. Comput. Sci.}, keywords = {}, number = 2, pages = {137-153}, timestamp = {2023-12-13T08:49:18.000+0100}, title = {On Helping and Interactive Proof Systems.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs6.html#ArvindKS95}, volume = 6, year = 1995 }