Horn clause computability. Tärnlund, S. BIT Numerical Mathematics, 17(2):215–226, Springer, 1977. bibtex @article{tarnlund1977,
title={Horn clause computability},
author={T{\"a}rnlund, Sten-{\AA}ke},
journal={BIT Numerical Mathematics},
volume={17},
number={2},
pages={215--226},
year={1977},
publisher={Springer}
}
Downloads: 0
{"_id":"MTJQXdGzwTR398uL5","bibbaseid":"trnlund-hornclausecomputability-1977","author_short":["Tärnlund, S."],"bibdata":{"bibtype":"article","type":"article","title":"Horn clause computability","author":[{"propositions":[],"lastnames":["Tärnlund"],"firstnames":["Sten-Åke"],"suffixes":[]}],"journal":"BIT Numerical Mathematics","volume":"17","number":"2","pages":"215–226","year":"1977","publisher":"Springer","bibtex":"@article{tarnlund1977,\n title={Horn clause computability},\n author={T{\\\"a}rnlund, Sten-{\\AA}ke},\n journal={BIT Numerical Mathematics},\n volume={17},\n number={2},\n pages={215--226},\n year={1977},\n publisher={Springer}\n}\n\n","author_short":["Tärnlund, S."],"key":"tarnlund1977","id":"tarnlund1977","bibbaseid":"trnlund-hornclausecomputability-1977","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/f/mAv4xsa3qE3YSqF2q/biblio.bib","dataSources":["79oQCSkNzzoZHJw69","SC4vtg3To6xYfQL7G"],"keywords":[],"search_terms":["horn","clause","computability","tärnlund"],"title":"Horn clause computability","year":1977}