Dynamic context logic (bibtex)
by Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini
Reference:
Dynamic context logic (Guillaume Aucher, Davide Grossi, Andreas Herzig, Emiliano Lorini), In Proceedings of Logic, Rationality and Interaction (LORI 2009) (X. He, J. Horty, E. Pacuit, eds.), Springer Verlag, volume 5884, 2009.
Bibtex Entry:
@InProceedings{Aucher2009b,
  Title                    = {Dynamic context logic},
  Author                   = {Guillaume Aucher and Davide Grossi and Andreas Herzig and Emiliano Lorini},
  Booktitle                = {Proceedings of Logic, Rationality and Interaction (LORI 2009)},
  Year                     = {2009},

  Address                  = {Chongking},
  Editor                   = {X. He and J. Horty and E. Pacuit},
  Pages                    = {15-26},
  Publisher                = {Springer Verlag},
  Series                   = {Lecture Notes in Artificial Intelligence},
  Volume                   = {5884},

  Affiliation              = {icr},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser