Sh:244
- Gurevich, Y., & Shelah, S. (1985). Fixed-point extensions of first-order logic. In 26th Annual Symposium on Foundations of Computer Science (sfcs 1985), IEEE Computer Science Society Press, pp. 346–353. DOI: 10.1109/SFCF.1985.27
Conference proceedings version of [Sh:244a] - published version (8p)
Bib entry
@inproceedings{Sh:244,
author = {Gurevich, Yuri and Shelah, Saharon},
title = {{Fixed-point extensions of first-order logic}},
booktitle = {{26th Annual Symposium on Foundations of Computer Science (sfcs 1985)}},
month = {Oct},
year = {1985},
pages = {346--353},
issn = {0272-5428},
publisher = {IEEE Computer Science Society Press},
doi = {10.1109/SFCF.1985.27},
note = {Conference proceedings version of [Sh:244a]},
refers_to_entry = {Conference proceedings version of [Sh:244a]}
}