Paper: Ordering Finite Variable Types with Generalized Quantifiers (at LICS 1998)
Authors: Anuj Dawar Lauri Hella Anil SethAbstract
No Abstract Available
BibTeX
@InProceedings{DawarHellaSeth-OrderingFiniteVaria, author = {Anuj Dawar and Lauri Hella and Anil Seth}, title = {Ordering Finite Variable Types with Generalized Quantifiers}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {28-43}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }