Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Invited Extended Abstract) (bibtex)
by Christoph Benzmüller
Reference:
Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Invited Extended Abstract) (Christoph Benzmüller), In Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings (Simone André da Costa Cavalheiro, José Luiz Fiadeiro, eds.), Springer, Lecture Notes in Computer Science, volume 10623, pp. 7--11, 2017. ((Extended version submitted to journal))
Bibtex Entry:
@inproceedings{C66,
  Author =	 {Christoph Benzm{\"u}ller},
  Keywords =	 {own, Automated Reasoning, Universal Reasoning,
                  Semantic Embedding, Higher Order Logic},
  Title =	 {Recent Successes with a Meta-Logical Approach to
                  Universal Logical Reasoning (Invited Extended
                  Abstract)},
  editor =	 {Simone Andr{\'{e}} da Costa Cavalheiro and
                  Jos{\'{e}} Luiz Fiadeiro},
  Booktitle =	 {Formal Methods: Foundations and Applications - 20th
                  Brazilian Symposium, {SBMF} 2017, Recife, Brazil,
                  November 29 - December 1, 2017, Proceedings},
  pages =	 {7--11},
  year =	 2017,
  series =	 {Lecture Notes in Computer Science},
  volume =	 10623,
  publisher =	 {Springer},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C66.pdf}},
  Note =	 {(Extended version submitted to journal)}
}
Powered by bibtexbrowser