%0 Conference Paper %1 conf/lfcs/MakowskyP94 %A Makowsky, Johann A. %A Pnueli, Y. B. %B LFCS %D 1994 %E Nerode, Anil %E Matiyasevich, Yuri V. %I Springer %K dblp %P 240-252 %T Arity vs. Alternation in Second Order Logic. %U http://dblp.uni-trier.de/db/conf/lfcs/lfcs1994.html#MakowskyP94 %V 813 %@ 0-387-58140-5

@inproceedings{conf/lfcs/MakowskyP94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Makowsky, Johann A. and Pnueli, Y. B.}, biburl = {https://www.bibsonomy.org/bibtex/22b679fe0e87730354f8476a501568248/dblp}, booktitle = {LFCS}, crossref = {conf/lfcs/1994}, editor = {Nerode, Anil and Matiyasevich, Yuri V.}, ee = {https://doi.org/10.1007/3-540-58140-5_24}, interhash = {b7fd50678cb687bff3de6c2a763786f8}, intrahash = {2b679fe0e87730354f8476a501568248}, isbn = {0-387-58140-5}, keywords = {dblp}, pages = {240-252}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:09:03.000+0200}, title = {Arity vs. Alternation in Second Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/lfcs/lfcs1994.html#MakowskyP94}, volume = 813, year = 1994 }