Computer-Assisted Analysis of the Anderson-Hájek Controversy (bibtex)
by Christoph Benzmüller, Leon Weber, Bruno Woltzenlogel Paleo
Reference:
Computer-Assisted Analysis of the Anderson-Hájek Controversy (Christoph Benzmüller, Leon Weber, Bruno Woltzenlogel Paleo), In Logica Universalis, volume 11, number 1, pp. 139-151, 2017.
Bibtex Entry:
@article{J32,
  Author =	 {Benzm{\"u}ller, Christoph and Weber, Leon and
                  Woltzenlogel Paleo, Bruno},
  Journal =	 {Logica Universalis},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Semantic
                  Embedding, Higher Order Logic, Higher Order Modal
                  Logic, Computational Metaphysics, DFG-2501-Selected},
  Volume =	 11,
  Number =	 1,
  Pages =	 {139-151},
  Doi =		 {10.1007/s11787-017-0160-9},
  url =		 {http://christoph-benzmueller.de/papers/J32.pdf},
  title =	 {Computer-Assisted Analysis of the
                  {Anderson-H\'{a}jek} Controversy},
  Year =	 2017
}
Powered by bibtexbrowser