Henkin Completeness of Higher-Order Resolution. Benzmüller, C. & Kohlhase, M. Technical Report SR-97-10, Saarland University, SEKI Publications (ISSN 1437-4447), 1997.
![Henkin Completeness of Higher-Order Resolution [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Preprint bibtex
Preprint bibtex @techreport{R6,
Author = {Christoph Benzm{\"u}ller and Michael Kohlhase},
Institution = {Saarland University, SEKI Publications (ISSN
1437-4447)},
Number = {SR-97-10},
Pages = {1-12},
Publisher = {{SEKI Publications (ISSN 1437-4447)}},
Title = {Henkin Completeness of Higher-Order Resolution},
Type = {SEKI Report},
url_preprint = {http://christoph-benzmueller.de/papers/R6.pdf},
Year = 1997,
}Downloads: 0
{"_id":"9wzufGWmuH4JEi2PA","bibbaseid":"benzmller-kohlhase-henkincompletenessofhigherorderresolution-1997","author_short":["Benzmüller, C.","Kohlhase, M."],"bibdata":{"bibtype":"techreport","type":"SEKI Report","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]}],"institution":"Saarland University, SEKI Publications (ISSN 1437-4447)","number":"SR-97-10","pages":"1-12","publisher":"SEKI Publications (ISSN 1437-4447)","title":"Henkin Completeness of Higher-Order Resolution","url_preprint":"http://christoph-benzmueller.de/papers/R6.pdf","year":"1997","bibtex":"@techreport{R6,\n Author =\t {Christoph Benzm{\\\"u}ller and Michael Kohlhase},\n Institution =\t {Saarland University, SEKI Publications (ISSN\n 1437-4447)},\n Number =\t {SR-97-10},\n Pages =\t {1-12},\n Publisher =\t {{SEKI Publications (ISSN 1437-4447)}},\n Title =\t {Henkin Completeness of Higher-Order Resolution},\n Type =\t {SEKI Report},\n url_preprint = {http://christoph-benzmueller.de/papers/R6.pdf},\n Year =\t 1997,\n}\n\n","author_short":["Benzmüller, C.","Kohlhase, M."],"key":"R6","id":"R6","bibbaseid":"benzmller-kohlhase-henkincompletenessofhigherorderresolution-1997","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/R6.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["henkin","completeness","higher","order","resolution","benzmüller","kohlhase"],"title":"Henkin Completeness of Higher-Order Resolution","year":1997}