Sh:1250
- Haber, S., Hershko, T., Mirabi, M., & Shelah, S. (2025). First-order logic with equicardinality in random graphs. In 33rd EACSL Annual Conference on Computer Science Logic, Vol. 326, Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, pp. Art. No. 12, 17. DOI: 10.4230/lipics.csl.2025.12 MR: 4868364
- Version 2024-11-25 (17p)
Bib entry
@incollection{Sh:1250, author = {Haber, Simi and Hershko, Tal and Mirabi, Mostafa and Shelah, Saharon}, title = {{First-order logic with equicardinality in random graphs}}, booktitle = {{33rd EACSL Annual Conference on Computer Science Logic}}, series = {LIPIcs. Leibniz Int. Proc. Inform.}, volume = {326}, year = {2025}, pages = {Art. No. 12, 17}, publisher = {Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern}, mrnumber = {4868364}, mrclass = {03C13}, doi = {10.4230/lipics.csl.2025.12} }