Universal (Meta-)Logical Reasoning: Recent Successes (bibtex)
by Christoph Benzmüller
Reference:
Universal (Meta-)Logical Reasoning: Recent Successes (Christoph Benzmüller), In Science of Computer Programming, volume 172, pp. 48-62, 2019. (Url (preprint): http://doi.org/10.13140/RG.2.2.11039.61609/2)
Bibtex Entry:
@article{J41,
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Universal (Meta-)Logical Reasoning: Recent
                  Successes},
  journal =	 {Science of Computer Programming},
  year =	 2019,
  volume =	 172,
  pages =	 {48-62},
  Note =	 {Url (preprint):
                  \url{http://doi.org/10.13140/RG.2.2.11039.61609/2}},
  doi =		 {10.1016/j.scico.2018.10.008},
}
Powered by bibtexbrowser