Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (bibtex)
by Alexander Steen, Christoph Benzmüller
Reference:
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Alexander Steen, Christoph Benzmüller), In 7th International Conference Non-Classical Logic -- Theory and Applications, Torun, Poland, 2015. (Url (preprint): http://christoph-benzmueller.de/papers/C49.pdf)
Bibtex Entry:
@inproceedings{C49,
  Author =	 {Alexander Steen and Christoph Benzm{\"u}ller},
  Booktitle =	 {7th International Conference Non-Classical Logic --
                  Theory and Applications, Torun, Poland},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Multi
                  Valued Logics, Automated Reasoning},
  Title =	 {Sweet SIXTEEN: Automation via Embedding into
                  Classical Higher-Order Logic},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C49.pdf}},
  Year =	 2015,
}
Powered by bibtexbrowser