(Invited) Experiments in Universal Logical Reasoning — How to utilise ATPs and SMT solvers for the exploration of axiom systems for category theory in free logic?. Institut für Theoretische Informatik, LMU München, June, 2018. slidesbibtex @book{Talk251,
Keywords = {presentation, invited presentations},
OPTAuthor = {Christoph Benzm{\"u}ller},
Publisher = {Institut für Theoretische Informatik, LMU München},
Title = {{(Invited)} 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-LMU.pdf">slides</a>},
Month = jun,
}

Downloads: 0

{"_id":"nsoKGZ4d9bM5SuYP8","bibbaseid":"anonymous-invitedexperimentsinuniversallogicalreasoninghowtoutiliseatpsandsmtsolversfortheexplorationofaxiomsystemsforcategorytheoryinfreelogic-2018","bibdata":{"bibtype":"book","type":"book","keywords":"presentation, invited presentations","optauthor":"Christoph Benzmüller","publisher":"Institut für Theoretische Informatik, LMU München","title":"(Invited) 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-LMU.pdf\">slides</a>","month":"June","bibtex":"@book{Talk251,\n\tKeywords = {presentation, invited presentations},\n\tOPTAuthor = {Christoph Benzm{\\\"u}ller},\n\tPublisher = {Institut für Theoretische Informatik, LMU München},\n\tTitle = {{(Invited)} 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-LMU.pdf\">slides</a>},\n\tMonth = jun,\n}\n\n\n\n","key":"Talk251","id":"Talk251","bibbaseid":"anonymous-invitedexperimentsinuniversallogicalreasoninghowtoutiliseatpsandsmtsolversfortheexplorationofaxiomsystemsforcategorytheoryinfreelogic-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","experiments","universal","logical","reasoning","utilise","atps","smt","solvers","exploration","axiom","systems","category","theory","free","logic"],"title":"(Invited) 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}