Jean-Marie Le Bars
Fragments of Existential Second-Order Logic without 0-1 Laws
LICS, 1998.
@inproceedings{LICS-1998-Bars,
author = "Jean-Marie Le Bars",
booktitle = "{Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1998.705685",
isbn = "0-8186-8506-9",
pages = "525--536",
publisher = "{IEEE Computer Society}",
title = "{Fragments of Existential Second-Order Logic without 0-1 Laws}",
year = 1998,
}











