Embedding and Automating Conditional Logics in Classical Higher-Order Logic (bibtex)
by Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli
Reference:
Embedding and Automating Conditional Logics in Classical Higher-Order Logic (Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli), In CoRR, volume abs/1106.3685, 2011.
Bibtex Entry:
@Article{Benzmueller2011a,
  Title                    = {Embedding and Automating Conditional Logics in Classical Higher-Order Logic},
  Author                   = {Christoph Benzmueller and Dov M. Gabbay and Valerio Genovese and Daniele Rispoli},
  Journal                  = {CoRR},
  Year                     = {2011},
  Volume                   = {abs/1106.3685},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://arxiv.org/abs/1106.3685},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser