Invited Talk: Monadic Logic and Automata: Recent Developments (at LICS 1998)
Authors: Wolfgang ThomasAbstract
No Abstract Available
BibTeX
@InProceedings{Thomas-MonadicLogicandAuto, author = {Wolfgang Thomas}, title = {Monadic Logic and Automata: Recent Developments}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {136--138}, location = {Indianapolis, IN, USA}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }