Leo-III Version 1.1 (System description). Benzmüller, C., Steen, A., & Wisniewski, M. In Eiter, T., Sands, D., Sutcliffe, G., & Voronkov, A., editors, IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, volume 1, of Kalpa Publications in Computing, pages 11-61, Maun, Botswana, 2017. EasyChair.
Paper bibtex @inproceedings{C64,
Address = {Maun, Botswana},
Author = {Christoph Benzm{\"u}ller and Alexander Steen and Max
Wisniewski},
Keywords = {own, LEO Prover, Higher Order Logic, Polymorphism,
Automated Reasoning},
title = {{Leo-III} Version 1.1 (System description)},
Booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short
Presentations, Maun, Botswana, May 7-12, 2017},
Editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and
Andrei Voronkov},
series = {Kalpa Publications in Computing},
pages = {11-61},
volume = 1,
publisher = {EasyChair},
year = 2017,
Url = {http://www.easychair.org/publications/paper/342979},
}
Downloads: 0
{"_id":"Kz5sHStsaaNbMSNtc","bibbaseid":"benzmller-steen-wisniewski-leoiiiversion11systemdescription-2017","author_short":["Benzmüller, C.","Steen, A.","Wisniewski, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Maun, Botswana","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Steen"],"suffixes":[]},{"firstnames":["Max"],"propositions":[],"lastnames":["Wisniewski"],"suffixes":[]}],"keywords":"own, LEO Prover, Higher Order Logic, Polymorphism, Automated Reasoning","title":"Leo-III Version 1.1 (System description)","booktitle":"IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017","editor":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]},{"firstnames":["Geoff"],"propositions":[],"lastnames":["Sutcliffe"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"series":"Kalpa Publications in Computing","pages":"11-61","volume":"1","publisher":"EasyChair","year":"2017","url":"http://www.easychair.org/publications/paper/342979","bibtex":"@inproceedings{C64,\n Address =\t {Maun, Botswana},\n Author =\t {Christoph Benzm{\\\"u}ller and Alexander Steen and Max\n Wisniewski},\n Keywords =\t {own, LEO Prover, Higher Order Logic, Polymorphism,\n Automated Reasoning},\n title =\t {{Leo-III} Version 1.1 (System description)},\n Booktitle =\t {IWIL@LPAR 2017 Workshop and {LPAR-21} Short\n Presentations, Maun, Botswana, May 7-12, 2017},\n Editor =\t {Thomas Eiter and David Sands and Geoff Sutcliffe and\n Andrei Voronkov},\n series =\t {Kalpa Publications in Computing},\n pages =\t {11-61},\n volume =\t 1,\n publisher =\t {EasyChair},\n year =\t 2017,\n Url =\t\t {http://www.easychair.org/publications/paper/342979},\n}\n\n","author_short":["Benzmüller, C.","Steen, A.","Wisniewski, M."],"editor_short":["Eiter, T.","Sands, D.","Sutcliffe, G.","Voronkov, A."],"key":"C64","id":"C64","bibbaseid":"benzmller-steen-wisniewski-leoiiiversion11systemdescription-2017","role":"author","urls":{"Paper":"http://www.easychair.org/publications/paper/342979"},"keyword":["own","LEO Prover","Higher Order Logic","Polymorphism","Automated Reasoning"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf"],"keywords":["own","leo prover","higher order logic","polymorphism","automated reasoning"],"search_terms":["leo","iii","version","system","description","benzmüller","steen","wisniewski"],"title":"Leo-III Version 1.1 (System description)","year":2017}