Two-Variable Logic with Counting and Trees - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Witold Charatonik, Piotr Witkowski 0001. Two-Variable Logic with Counting and Trees. ACM Trans. Comput. Log., 17(4):31, 2016. [doi]

@article{Charatonik016,
  title = {Two-Variable Logic with Counting and Trees},
  author = {Witold Charatonik and Piotr Witkowski 0001},
  year = {2016},
  url = {http://dl.acm.org/citation.cfm?id=2983622},
  researchr = {https://researchr.org/publication/Charatonik016},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {17},
  number = {4},
  pages = {31},
}

runs on WebDSL