Paper: Two-Variable First-Order Logic with Equivalence Closure (at LICS 2012)
Authors: Emanuel Kieronski Jakub Michaliszyn Ian Pratt-Hartmann Lidia Tendera
Abstract
No Abstract Available
BibTeX
@InProceedings{KieronskiMichaliszy-TwoVariableFirstOrd, author = {Emanuel Kieronski and Jakub Michaliszyn and Ian Pratt-Hartmann and Lidia Tendera}, title = {Two-Variable First-Order Logic with Equivalence Closure}, booktitle = {Proceedings of the Twenty-Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012)}, year = {2012}, month = {June}, pages = {431--440}, location = {Dubrovnik, Croatia}, publisher = {IEEE Computer Society Press} }