Paper: On the Boundedness Problem for Two-Variable First-Order Logic (at LICS 1998)
Authors: Phokion G. Kolaitis Martin OttoAbstract
No Abstract Available
BibTeX
@InProceedings{KolaitisOtto-OntheBoundednessPro, author = {Phokion G. Kolaitis and Martin Otto}, title = {On the Boundedness Problem for Two-Variable First-Order Logic}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {513-524}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }