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. [bibtex] [pdf]
Powered by bibtexbrowser