ML Anthology

A Model-Theoretic Counterpart of Loop Formulas

Joohyung Lee
IJCAI 2005 pp. 503-508
/ijcai/2005/lee2005ijcai-model/
PDF IJCAI Semantic Scholar

Cite

Text

Lee. "A Model-Theoretic Counterpart of Loop Formulas." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Lee. "A Model-Theoretic Counterpart of Loop Formulas." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/lee2005ijcai-model/)

BibTeX

@inproceedings{lee2005ijcai-model,
  title     = {{A Model-Theoretic Counterpart of Loop Formulas}},
  author    = {Lee, Joohyung},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {503-508},
  url       = {https://mlanthology.org/ijcai/2005/lee2005ijcai-model/}
}