%0 Journal Article %1 journals/igpl/OliveiraC08 %A Oliveira, Igor Carboni %A Carnielli, Walter Alexandre %D 2008 %J Logic Journal of the IGPL %K dblp %N 6 %P 585-590 %T The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. %U http://dblp.uni-trier.de/db/journals/igpl/igpl16.html#OliveiraC08 %V 16

@article{journals/igpl/OliveiraC08, added-at = {2009-06-22T00:00:00.000+0200}, author = {Oliveira, Igor Carboni and Carnielli, Walter Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/29e5f5e0d6a1a5ab84dd7d1384e10b13c/dblp}, date = {2009-06-22}, description = {dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzn023}, interhash = {69d547e8b854b774fe9c08396fae9f0b}, intrahash = {9e5f5e0d6a1a5ab84dd7d1384e10b13c}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = 6, pages = {585-590}, timestamp = {2009-07-16T14:44:47.000+0200}, title = {The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl16.html#OliveiraC08}, volume = 16, year = 2008 }