Otter-lambda, a theorem-prover with untyped lambda-unification. Beeson, M. In Sutcliffe, G., Schulz, S., & Tammet, T., editors, *Proceedings of the ESFOR workshop at IJCAR 2004*, 2004.

Pdf bibtex

Pdf bibtex

@inproceedings{beeson2004b, author = {Michael Beeson}, booktitle = {Proceedings of the ESFOR workshop at IJCAR 2004}, date-added = {2014-11-17 17:33:33 +0000}, date-modified = {2014-11-17 17:37:46 +0000}, editor = {Geoff Sutcliffe and Stephan Schulz and Tanel Tammet}, keywords = {Automated deduction, Otter}, title = {Otter-lambda, a theorem-prover with untyped lambda-unification}, url_pdf = {esfor.pdf}, year = {2004}}

Downloads: 0

{"_id":"9w8GqyPbLCt6DhTwz","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-otterlambdaatheoremproverwithuntypedlambdaunification-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Proceedings of the ESFOR workshop at IJCAR 2004","date-added":"2014-11-17 17:33:33 +0000","date-modified":"2014-11-17 17:37:46 +0000","editor":[{"firstnames":["Geoff"],"propositions":[],"lastnames":["Sutcliffe"],"suffixes":[]},{"firstnames":["Stephan"],"propositions":[],"lastnames":["Schulz"],"suffixes":[]},{"firstnames":["Tanel"],"propositions":[],"lastnames":["Tammet"],"suffixes":[]}],"keywords":"Automated deduction, Otter","title":"Otter-lambda, a theorem-prover with untyped lambda-unification","url_pdf":"esfor.pdf","year":"2004","bibtex":"@inproceedings{beeson2004b,\n\tauthor = {Michael Beeson},\n\tbooktitle = {Proceedings of the ESFOR workshop at IJCAR 2004},\n\tdate-added = {2014-11-17 17:33:33 +0000},\n\tdate-modified = {2014-11-17 17:37:46 +0000},\n\teditor = {Geoff Sutcliffe and Stephan Schulz and Tanel Tammet},\n\tkeywords = {Automated deduction, Otter},\n\ttitle = {Otter-lambda, a theorem-prover with untyped lambda-unification},\n\turl_pdf = {esfor.pdf},\n\tyear = {2004}}\n\n","author_short":["Beeson, M."],"editor_short":["Sutcliffe, G.","Schulz, S.","Tammet, T."],"key":"beeson2004b","id":"beeson2004b","bibbaseid":"beeson-otterlambdaatheoremproverwithuntypedlambdaunification-2004","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/esfor.pdf"},"keyword":["Automated deduction","Otter"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-17T17:48:00.484Z","downloads":0,"keywords":["automated deduction","otter"],"search_terms":["otter","lambda","theorem","prover","untyped","lambda","unification","beeson"],"title":"Otter-lambda, a theorem-prover with untyped lambda-unification","year":2004,"dataSources":["v9esbf6gQ8h64d3NA"]}