TPTP and Beyond: Representation of Quantified Non-Classical Logics (bibtex)
by Max Wisniewski, Alexander Steen, Christoph Benzmüller
Reference:
TPTP and Beyond: Representation of Quantified Non-Classical Logics (Max Wisniewski, Alexander Steen, Christoph Benzmüller), In ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics (Christoph Benzmüller, Jens Otten, eds.), CEUR Workshop Proceedings, http://ceur-ws.org, volume 1770, pp. 51-65, 2016.
Bibtex Entry:
@inproceedings{W56,
  Author =	 {Max Wisniewski and Alexander Steen and Christoph
                  Benzm\"uller},
  Booktitle =	 {ARQNL 2016. Automated Reasoning in Quantified
                  Non-Classical Logics},
  Editor =	 {Christoph Benzm{\"u}ller and Jens Otten},
  Keywords =	 {own, Higher Order Logic, Higher Order Modal Logic},
  Publisher =	 {CEUR Workshop Proceedings, http://ceur-ws.org},
  Url =		 {http://ceur-ws.org/Vol-1770/},
  Volume =	 1770,
  Title =	 {{TPTP} and Beyond: Representation of Quantified
                  Non-Classical Logics},
  Pages =	 {51-65},
  Year =	 2016
}
Powered by bibtexbrowser