%0 Journal Article %1 journals/jsyml/ElgotR66 %A Elgot, Calvin C. %A Rabin, Michael O. %D 1966 %J J. Symb. Log. %K dblp %N 2 %P 169-181 %T Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml31.html#ElgotR66 %V 31

@article{journals/jsyml/ElgotR66, added-at = {2014-08-05T00:00:00.000+0200}, author = {Elgot, Calvin C. and Rabin, Michael O.}, biburl = {https://www.bibsonomy.org/bibtex/2c32974453dfac4b4723f8748fc1ba073/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183735416}, interhash = {f0ef525a676ef3e1456cc7d85f310e27}, intrahash = {c32974453dfac4b4723f8748fc1ba073}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {169-181}, timestamp = {2015-06-18T02:25:31.000+0200}, title = {Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml31.html#ElgotR66}, volume = 31, year = 1966 }