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.
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}},
  Url =		 {http://christoph-benzmueller.de/papers/C54.pdf},
  Volume =	 9706,
  Year =	 2016,
}
Powered by bibtexbrowser