%0 Conference Paper %1 conf/tamc/Ajtai07 %A Ajtai, Miklós %B TAMC %D 2007 %E yi Cai, Jin %E Cooper, S. Barry %E Zhu, Hong %I Springer %K dblp %P 13-33 %T Generalizations of the Compactness Theorem and Gödel's Completeness Theorem for Nonstandard Finite Structures. %U http://dblp.uni-trier.de/db/conf/tamc/tamc2007.html#Ajtai07 %V 4484 %@ 978-3-540-72503-9

@inproceedings{conf/tamc/Ajtai07, added-at = {2017-05-21T00:00:00.000+0200}, author = {Ajtai, Miklós}, biburl = {https://www.bibsonomy.org/bibtex/2aee91a2560f9440c2992955d762131f7/dblp}, booktitle = {TAMC}, crossref = {conf/tamc/2007}, editor = {yi Cai, Jin and Cooper, S. Barry and Zhu, Hong}, ee = {https://doi.org/10.1007/978-3-540-72504-6_2}, interhash = {fd3b4954a9944ae366c5ceccea8f47c6}, intrahash = {aee91a2560f9440c2992955d762131f7}, isbn = {978-3-540-72503-9}, keywords = {dblp}, pages = {13-33}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-05-05T11:45:41.000+0200}, title = {Generalizations of the Compactness Theorem and Gödel's Completeness Theorem for Nonstandard Finite Structures.}, url = {http://dblp.uni-trier.de/db/conf/tamc/tamc2007.html#Ajtai07}, volume = 4484, year = 2007 }