Effective Normalization Techniques for HOL (bibtex)
by Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller
Reference:
Effective Normalization Techniques for HOL (Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller), In Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings (Nicola Olivetti, Ashish Tiwari, eds.), Springer, LNCS, volume 9706, pp. 362-370, 2016. (Url (preprint): http://christoph-benzmueller.de/papers/C54.pdf)
Bibtex Entry:
@inproceedings{C54,
  Author =	 {Max Wisniewski and Alexander Steen and Kim Kern and
                  Christoph Benzm{\"u}ller},
  Booktitle =	 {Automated Reasoning --- 8th International Joint
                  Conference, IJCAR 2016, Coimbra, Portugal, June 27
                  -- July 2, 2016, Proceedings},
  Doi =		 {10.1007/978-3-319-40229-1_25},
  Editor =	 {Nicola Olivetti and Ashish Tiwari},
  Isbn =	 {978-3-319-40228-4},
  Keywords =	 {own, Higher Order Logic, Automated Reasoning, LEO
                  Prover},
  Pages =	 {362-370},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {Effective Normalization Techniques for {HOL}},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C54.pdf}},
  Volume =	 9706,
  Year =	 2016,
}
Powered by bibtexbrowser