Paper: On Proofs about Threshold Circuits and Counting Hierarchies (at LICS 1998)
Authors: Jan Johannsen Chris PollettAbstract
No Abstract Available
BibTeX
@InProceedings{JohannsenPollett-OnProofsaboutThresh, author = {Jan Johannsen and Chris Pollett}, title = {On Proofs about Threshold Circuits and Counting Hierarchies}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {444-452 }, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }