Reciprocal influences between logic programming and proof theory. Miller, D. Philosophy & Technology, 34(1):75–104, Springer, March, 2021. doi bibtex @article{miller21pt,
author = {Dale Miller},
title = {Reciprocal influences between logic programming and
proof theory},
journal = {Philosophy \& Technology},
volume = {34},
number = {1},
pages = {75--104},
month = mar,
year = {2021},
doi = {10.1007/s13347-019-00370-x},
publisher = {Springer}
}
Downloads: 0
{"_id":"XBJ2q2eircp9up8XL","bibbaseid":"miller-reciprocalinfluencesbetweenlogicprogrammingandprooftheory-2021","author_short":["Miller, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Reciprocal influences between logic programming and proof theory","journal":"Philosophy & Technology","volume":"34","number":"1","pages":"75–104","month":"March","year":"2021","doi":"10.1007/s13347-019-00370-x","publisher":"Springer","bibtex":"@article{miller21pt,\n author = {Dale Miller},\n title = {Reciprocal influences between logic programming and\n proof theory},\n journal = {Philosophy \\& Technology},\n volume = {34},\n number = {1},\n pages = {75--104},\n month = mar,\n year = {2021},\n doi = {10.1007/s13347-019-00370-x},\n publisher = {Springer}\n}\n\n","author_short":["Miller, D."],"key":"miller21pt","id":"miller21pt","bibbaseid":"miller-reciprocalinfluencesbetweenlogicprogrammingandprooftheory-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["reciprocal","influences","between","logic","programming","proof","theory","miller"],"title":"Reciprocal influences between logic programming and proof theory","year":2021}