%0 Conference Paper %1 conf/icalp/KolaitisV92 %A Kolaitis, Phokion G. %A Vardi, Moshe Y. %B ICALP %D 1992 %E Kuich, Werner %I Springer %K dblp %P 450-473 %T Infinitary Logic for Computer Science. %U http://dblp.uni-trier.de/db/conf/icalp/icalp92.html#KolaitisV92 %V 623 %@ 3-540-55719-9

@inproceedings{conf/icalp/KolaitisV92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Kolaitis, Phokion G. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/29eb69c165570c0425c1dccbad302e409/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1992}, editor = {Kuich, Werner}, ee = {https://doi.org/10.1007/3-540-55719-9_96}, interhash = {f07ec1821947c367742ff21667ab2df9}, intrahash = {9eb69c165570c0425c1dccbad302e409}, isbn = {3-540-55719-9}, keywords = {dblp}, pages = {450-473}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:29:01.000+0200}, title = {Infinitary Logic for Computer Science.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp92.html#KolaitisV92}, volume = 623, year = 1992 }