There Is No Best Beta-Normalization Strategy for Higher-Order Reasoners (bibtex)
by Alexander Steen, Christoph Benzmüller
Reference:
There Is No Best Beta-Normalization Strategy for Higher-Order Reasoners (Alexander Steen, Christoph Benzmüller), In Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) (M. Davis, A. Fehnker, A. McIver, A. Voronkov, eds.), Springer, LNAI, volume 9450, pp. 329-339, 2015.
Bibtex Entry:
@inproceedings{C51,
  Address =	 {Suva, Fiji},
  Author =	 {Alexander Steen and Christoph Benzm{\"u}ller},
  Booktitle =	 {Logic for Programming, Artificial Intelligence, and
                  Reasoning (LPAR)},
  Doi =		 {10.1007/978-3-662-48899-7_23},
  Editor =	 {M. Davis and A. Fehnker and A. McIver and
                  A. Voronkov},
  Isbn =	 {978-3-662-48898-0},
  Keywords =	 {own, Higher Order Logic, Automated Reasoning, LEO Prover},
  Pages =	 {329-339},
  Publisher =	 {Springer},
  Series =	 {LNAI},
  Title =	 {There Is No Best Beta-Normalization Strategy for
                  Higher-Order Reasoners},
  Url =		 {http://christoph-benzmueller.de/papers/C51.pdf},
  Volume =	 9450,
  Year =	 2015,
}
Powered by bibtexbrowser