%0 Conference Paper %1 conf/lics/KolaitisV92 %A Kolaitis, Phokion G. %A Vardi, Moshe Y. %B LICS %D 1992 %I IEEE Computer Society %K dblp %P 46-57 %T Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory %U http://dblp.uni-trier.de/db/conf/lics/lics92.html#KolaitisV92 %@ 0-8186-2735-2

@inproceedings{conf/lics/KolaitisV92, added-at = {2023-03-24T00:00:00.000+0100}, author = {Kolaitis, Phokion G. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/20889fe123925a94f70391942e78053e8/dblp}, booktitle = {LICS}, crossref = {conf/lics/1992}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1992.185518}, interhash = {3878f2faf2e1f56e14b23b2fafd3330b}, intrahash = {0889fe123925a94f70391942e78053e8}, isbn = {0-8186-2735-2}, keywords = {dblp}, pages = {46-57}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:20.000+0200}, title = {Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory}, url = {http://dblp.uni-trier.de/db/conf/lics/lics92.html#KolaitisV92}, year = 1992 }