Pebble-Intervals Automata and FO\(^\mbox2\) with Two Orders (bibtex)
by Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
Reference:
Pebble-Intervals Automata and FO\(^\mbox2\) with Two OrdersNadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut VeithLATA, volume 12038 of Lecture Notes in Computer Science, pages 208–221, 2020, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/lata/LabaiKOV20,
  author    = {Nadia Labai and
               Tomer Kotek and
               Magdalena Ortiz and
               Helmut Veith},
  title     = {Pebble-Intervals Automata and FO\({}^{\mbox{2}}\) with Two Orders},
  booktitle = {{LATA}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12038},
  pages     = {208--221},
  publisher = {Springer},
  year      = {2020},
	url 			= {https://arxiv.org/pdf/2006.02078}
}
Powered by bibtexbrowser