Search: J41
2019
[1]Universal (Meta-)Logical Reasoning: Recent Successes (Christoph Benzmüller), In Science of Computer Programming, volume 172, pp. 48-62, 2019. (Preprint: http://doi.org/10.13140/RG.2.2.11039.61609/2) [bibtex] [doi]