Two Variable First-Order Logic over Ordered Domains - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Martin Otto. Two Variable First-Order Logic over Ordered Domains. Journal of Symbolic Logic, 66(2):685-702, 2001.

@article{Otto01:0,
  title = {Two Variable First-Order Logic over Ordered Domains},
  author = {Martin Otto},
  year = {2001},
  tags = {logic},
  researchr = {https://researchr.org/publication/Otto01%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Logic},
  volume = {66},
  number = {2},
  pages = {685-702},
}

runs on WebDSL