HOL Provers for First-order Modal Logics --- Experiments (bibtex)
by Christoph Benzmüller
Reference:
HOL Provers for First-order Modal Logics --- Experiments (Christoph Benzmüller), In ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics (Christoph Benzmüller, Jens Otten, eds.), EasyChair, EPiC Series in Computing, volume 33, pp. 37-41, 2015.
Bibtex Entry:
@inproceedings{W54,
  Author =	 {Christoph Benzm\"uller},
  Booktitle =	 {ARQNL 2014. Automated Reasoning in Quantified
                  Non-Classical Logics},
  Editor =	 {Christoph Benzm{\"u}ller and Jens Otten},
  Issn =	 {2040-557X},
  Keywords =	 {own, LEO Prover, Automated Reasoning, Proof
                  Transformation, Higher Order Logic},
  Pages =	 {37-41},
  Publisher =	 {EasyChair},
  Series =	 {EPiC Series in Computing},
  Title =	 {{HOL} Provers for First-order Modal Logics ---
                  Experiments},
  Url =
                  {http://easychair.org/publications/paper/HOL_Provers_for_First-order_Modal_Logics_-_Experiments},
  Volume =	 33,
  Year =	 2015,
}
Powered by bibtexbrowser