Introducing reactive Kripke semantics and arc accessibility (bibtex)
by Dov M. Gabbay
Reference:
Introducing reactive Kripke semantics and arc accessibility (Dov M. Gabbay), In Ann. Math. Artif. Intell., volume 66, 2012.
Bibtex Entry:
@Article{Gabbay2012b,
  Title                    = {Introducing reactive Kripke semantics and arc accessibility},
  Author                   = {Dov M. Gabbay},
  Journal                  = {Ann. Math. Artif. Intell.},
  Year                     = {2012},
  Number                   = {1-4},
  Pages                    = {7-53},
  Volume                   = {66},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://dx.doi.org/10.1007/s10472-012-9313-y},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser