Some applications of Gentzen's proof theory to automated deduction. Beeson, M. In Extensions of Logic Programming, volume 475, of Lecture Notes in Computer Science, pages 101-156. Springer-Verlag, 1991. Pdf bibtex @incollection{beeson1991,
author = {Michael Beeson},
booktitle = {Extensions of Logic Programming},
date-added = {2014-11-14 21:57:08 +0000},
date-modified = {2019-10-15 11:47:36 -0700},
editor = {P. Schroeder-Heister},
keywords = {Proof theory, Automated deduction},
pages = {101-156},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {Some applications of {G}entzen's proof theory to automated deduction},
url_pdf = {Gentzen.pdf},
volume = {475},
year = {1991}}
Downloads: 0
{"_id":"ybcgZm9YDrGFo6i7d","authorIDs":["2SdAzEbDMovr39m3H","4zHeuQRwDkMD6Xqr8","546642d9bc7d6a460d00089c","5de8d43e9e80cdde01000195","5defeac014db5cdf0100007c","5dfc2497ff6df7de01000070","5e03ae17a94129de0100000d","5e0dc417c7ca67df01000109","5e13f6acf8aa5dde01000042","5e2f4a4c26e5cadf0100001c","5e51bde132046bdf0100010a","5e51e8358240c0df01000020","5e69258d662319de010002c5","646esaGECfJjWFymd","7mrKCLm7cPiKm5CWg","B6skFWJok43hJg7At","BGLwXT98q3Kfv9QTj","QcRbyYqcCRCSzhNb4","SsSrsyDc8aoqbnh2Y","TqZdHatzyaM88iEPt","WRMwE6oZ4X9x2raNz","XXmWhRQTdX28SvTMv","Y6CDZWnAjiy5nMvqw","Z3LjuYrif98QXhXZM","b6rQCmwcvrZxCNy6n","bo9wnnFY7yzdyp7Ys","bzE2DwxKMcdB45SRa","chfLHypwisu7qBotT","dZMcb62spBJnnjs3t","dpRM5cTGAFrusW55R","gKswhtTyf2MZBNzTm","ggWmAzYnJEh8XEXgn","gpNwNhYtCK7mSpaXS","hH3KZcgia6CKuCB3K","iGE2RbobA9XCL82JW","kTLoeuwJ8R9Lz7wYx","ntERk8MYJbwtJvdLg","pCMiYg5EBwjkwPqC5","tKZHk67ZbM8m8gTG5","wREPnWGHjcJZafazQ","wwTsH4RwBNarDwfdT"],"author_short":["Beeson, M."],"bibbaseid":"beeson-someapplicationsofgentzensprooftheorytoautomateddeduction-1991","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Extensions of Logic Programming","date-added":"2014-11-14 21:57:08 +0000","date-modified":"2019-10-15 11:47:36 -0700","editor":[{"firstnames":["P."],"propositions":[],"lastnames":["Schroeder-Heister"],"suffixes":[]}],"keywords":"Proof theory, Automated deduction","pages":"101-156","publisher":"Springer-Verlag","series":"Lecture Notes in Computer Science","title":"Some applications of Gentzen's proof theory to automated deduction","url_pdf":"Gentzen.pdf","volume":"475","year":"1991","bibtex":"@incollection{beeson1991,\n\tauthor = {Michael Beeson},\n\tbooktitle = {Extensions of Logic Programming},\n\tdate-added = {2014-11-14 21:57:08 +0000},\n\tdate-modified = {2019-10-15 11:47:36 -0700},\n\teditor = {P. Schroeder-Heister},\n\tkeywords = {Proof theory, Automated deduction},\n\tpages = {101-156},\n\tpublisher = {Springer-Verlag},\n\tseries = {Lecture Notes in Computer Science},\n\ttitle = {Some applications of {G}entzen's proof theory to automated deduction},\n\turl_pdf = {Gentzen.pdf},\n\tvolume = {475},\n\tyear = {1991}}\n\n","author_short":["Beeson, M."],"editor_short":["Schroeder-Heister, P."],"key":"beeson1991","id":"beeson1991","bibbaseid":"beeson-someapplicationsofgentzensprooftheorytoautomateddeduction-1991","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/Gentzen.pdf"},"keyword":["Proof theory","Automated deduction"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"incollection","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-15T21:59:24.590Z","downloads":3,"keywords":["proof theory","automated deduction"],"search_terms":["applications","gentzen","proof","theory","automated","deduction","beeson"],"title":"Some applications of Gentzen's proof theory to automated deduction","year":1991,"dataSources":["v9esbf6gQ8h64d3NA"]}