Invited Talk: Methods of Automated Complexity for Inference Rules (at LICS 1997)
Authors: David A. McAllesterAbstract
No Abstract Available
BibTeX
@InProceedings{McAllester-MethodsofAutomatedC, author = {David A. McAllester}, title = {Methods of Automated Complexity for Inference Rules}, booktitle = {Proceedings of the Twelfth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1997}, year = 1997, editor = {Glynn Winskel}, month = {June}, location = {Warsaw, Poland}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }