(Invited Keynote) Experiments in Universal Logical Reasoning — How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic?. 16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Oxford, UK, July, 2018. slidesbibtex @book{Talk249,
Keywords = {presentation, invited presentations},
OPTAuthor = {Christoph Benzm{\"u}ller},
Publisher = {16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Oxford, UK},
Title = {{(Invited Keynote)} Experiments in Universal Logical Reasoning --- How to utilise ATPs
and SMT solvers for the exploration of axiom systems for category theory in free logic?},
Year = 2018,
note = {<a href="http://christoph-benzmueller.de/papers/2018-SMT.pdf">slides</a>},
Month = jul,
}
Downloads: 0
{"_id":"3Byjg26niKo3ciYN4","bibbaseid":"anonymous-invitedkeynoteexperimentsinuniversallogicalreasoninghowtoutiliseatpsandsmtsolversfortheexplorationofaxiomsystemsforcategorytheoryinfreelogic-2018","bibdata":{"bibtype":"book","type":"book","keywords":"presentation, invited presentations","optauthor":"Christoph Benzmüller","publisher":"16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Oxford, UK","title":"(Invited Keynote) Experiments in Universal Logical Reasoning — How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic?","year":"2018","note":"<a href=\"http://christoph-benzmueller.de/papers/2018-SMT.pdf\">slides</a>","month":"July","bibtex":"@book{Talk249,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\\"u}ller},\n\tPublisher = {16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Oxford, UK},\n\tTitle = {{(Invited Keynote)} Experiments in Universal Logical Reasoning --- How to utilise ATPs \nand SMT solvers for the exploration of axiom systems for category theory in free logic?},\n\tYear = 2018,\n\tnote = {<a href=\"http://christoph-benzmueller.de/papers/2018-SMT.pdf\">slides</a>},\n\tMonth = jul,\n}\n\n\n","key":"Talk249","id":"Talk249","bibbaseid":"anonymous-invitedkeynoteexperimentsinuniversallogicalreasoninghowtoutiliseatpsandsmtsolversfortheexplorationofaxiomsystemsforcategorytheoryinfreelogic-2018","role":"","urls":{},"keyword":["presentation","invited presentations"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/talks.bib","dataSources":["WsTqYPsrMFQRGk3Ku"],"keywords":["presentation","invited presentations"],"search_terms":["invited","keynote","experiments","universal","logical","reasoning","utilise","atps","smt","solvers","exploration","axiom","systems","category","theory","free","logic"],"title":"(Invited Keynote) Experiments in Universal Logical Reasoning — How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic?","year":2018}