Some proof-theoretic aspects of logic programming. Jäger, G. In Bauer, F. L., Brauer, W., & Schwichtenberg, H., editors, Logic and Algebra of Specification, volume 94, of Computer and Systems Sciences, pages 113–142, 1993. Springer. bibtex @InProceedings{jae93b,
Author = {Gerhard J{\"a}ger},
Title = {Some proof-theoretic aspects of logic programming},
BookTitle = {Logic and Algebra of Specification},
Editor = {Friedrich Ludwig Bauer and Wilfried Brauer and Helmut
Schwichtenberg},
Volume = {94},
Series = {Computer and Systems Sciences},
Pages = {113{--}142},
Publisher = {Springer},
year = 1993
}
Downloads: 0
{"_id":"uRa2aCSFRGgGGsX6h","bibbaseid":"jger-someprooftheoreticaspectsoflogicprogramming-1993","authorIDs":[],"author_short":["Jäger, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Jäger"],"suffixes":[]}],"title":"Some proof-theoretic aspects of logic programming","booktitle":"Logic and Algebra of Specification","editor":[{"firstnames":["Friedrich","Ludwig"],"propositions":[],"lastnames":["Bauer"],"suffixes":[]},{"firstnames":["Wilfried"],"propositions":[],"lastnames":["Brauer"],"suffixes":[]},{"firstnames":["Helmut"],"propositions":[],"lastnames":["Schwichtenberg"],"suffixes":[]}],"volume":"94","series":"Computer and Systems Sciences","pages":"113–142","publisher":"Springer","year":"1993","bibtex":"@InProceedings{jae93b,\n Author = {Gerhard J{\\\"a}ger},\n Title = {Some proof-theoretic aspects of logic programming},\n BookTitle = {Logic and Algebra of Specification},\n Editor = {Friedrich Ludwig Bauer and Wilfried Brauer and Helmut\n Schwichtenberg},\n Volume = {94},\n Series = {Computer and Systems Sciences},\n Pages = {113{--}142},\n Publisher = {Springer},\n year = 1993\n}\n\n","author_short":["Jäger, G."],"editor_short":["Bauer, F. L.","Brauer, W.","Schwichtenberg, H."],"key":"jae93b","id":"jae93b","bibbaseid":"jger-someprooftheoreticaspectsoflogicprogramming-1993","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.070Z","downloads":0,"keywords":[],"search_terms":["proof","theoretic","aspects","logic","programming","jäger"],"title":"Some proof-theoretic aspects of logic programming","year":1993,"dataSources":["jFQMeatnEb8qn3qdH"]}