Search: Sweet SIXTEEN: Automation
2016
[2] Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Alexander Steen, Christoph Benzmüller), In Logic and Logical Philosophy, volume 25, pp. 535-554, 2016. [bibtex] [pdf] [doi]
2015
[1]Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Alexander Steen, Christoph Benzmüller), In 7th International Conference Non-Classical Logic -- Theory and Applications, Torun, Poland, 2015. (Preprint: http://christoph-benzmueller.de/papers/C49.pdf) [bibtex]
Powered by bibtexbrowser