Effective Higher-Order Automated Theorem Proving with integrated Descente Infinie and Presburger Arithmetic LEO-III (bibtex)
by Christoph Benzmüller, Claus-Peter Wirth
Reference:
Effective Higher-Order Automated Theorem Proving with integrated Descente Infinie and Presburger Arithmetic LEO-III (Christoph Benzmüller, Claus-Peter Wirth), 2009.
Bibtex Entry:
@unpublished{R51,
  Author =	 {Benzm{\"u}ller, Christoph and Wirth, Claus-Peter},
  Howpublished = {DFG research project proposal},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated Reasoning},
  Title =	 {{Effective Higher-Order Automated Theorem Proving
                  with integrated Descente Infinie and Presburger
                  Arithmetic LEO-III}},
  Url =		 {http://christoph-benzmueller.de/papers/R51.pdf},
  Year =	 2009,
}
Powered by bibtexbrowser