BibTeX record conf/tbillc/GrillettiC17

• > Home > conf/tbillc/GrillettiC17

@inproceedings{DBLP:conf/tbillc/GrillettiC17,
  author       = {Gianluca Grilletti and
                  Ivano Ciardelli},
  editor       = {Alexandra Silva and
                  Sam Staton and
                  Peter Sutton and
                  Carla Umbach},
  title        = {An Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Game for Inquisitive
                  First-Order Logic},
  booktitle    = {Language, Logic, and Computation - 12th International Tbilisi Symposium,
                  TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11456},
  pages        = {166--186},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-59565-7\_9},
  doi          = {10.1007/978-3-662-59565-7\_9},
  timestamp    = {Fri, 27 Dec 2019 21:29:01 +0100},
  biburl       = {https://dblp.org/rec/conf/tbillc/GrillettiC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}