Simple Type Theory as Framework for Combining Logics (bibtex)
by Christoph Benzmüller
Reference:
Simple Type Theory as Framework for Combining Logics (Christoph Benzmüller), In Contest paper at the World Congress and School on Universal Logic III (UNILOG), 2010. (slides) (The conference had no published proceedings; the paper is available as arXiv:1004.5500v1)
Bibtex Entry:
@inproceedings{C32,
  Address =	 {Lisbon, Portugal},
  Author =	 {Christoph Benzm{\"u}ller},
  Booktitle =	 {Contest paper at the World Congress and School on
                  Universal Logic III (UNILOG)},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2010-UNILOG.pdf
                  " target="_blank">slides</a>},
  Keywords =	 {own, Higher Order Logic, LEO Prover, Modal Logics,
                  Combinations of Logics, Semantic Embedding},
  Note =	 {The conference had no published proceedings; the
                  paper is available as arXiv:1004.5500v1},
  Title =	 {Simple Type Theory as Framework for Combining
                  Logics},
  Url =		 {http://arxiv.org/abs/1004.5500v1},
  Year =	 2010,
}
Powered by bibtexbrowser