Paper: Fragments of Existential Second-Order Logic without 0-1 Laws (at LICS 1998)
Authors: Jean-Marie Le BarsAbstract
No Abstract Available
BibTeX
@InProceedings{Bars-FragmentsofExistent, author = {Jean-Marie Le Bars}, title = {Fragments of Existential Second-Order Logic without 0-1 Laws}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {525-536 }, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }