Short Presentation: On Abiteboul-Vianu Theorem for Fixed-Point Logics with Generalized Quantifiers (at LICS 2004)
Authors: A. Dawar L. Hella M. SuonioAbstract
No Abstract Available
BibTeX
@InProceedings{DawarHellaSuonio-OnAbiteboulVianuThe, author = {A. Dawar and L. Hella and M. Suonio}, title = {On Abiteboul-Vianu Theorem for Fixed-Point Logics with Generalized Quantifiers}, booktitle = {Proceedings of the Nineteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2004}, year = 2004, editor = {Harald Ganzinger}, month = {July}, location = {Turku, Finland}, note = {Short Presentation}, publisher = {IEEE Computer Society Press} }