First-order universality for real programs. Anberrée, T. J. Logic Comput., 23(4):729–751, 2013. ![First-order universality for real programs [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @ARTICLE{Anb13,
author = {Anberr{\'e}e, Thomas},
title = {First-order universality for real programs},
journal = {J. Logic Comput.},
year = {2013},
volume = {23},
pages = {729--751},
number = {4},
doi = {10.1093/logcom/exr044},
file = {Anb13.pdf:Anb13.pdf:PDF},
fjournal = {Journal of Logic and Computation},
issn = {0955-792X},
keywords = {bib,cca},
mrclass = {68N18 (03B40 06E30 68Q55)},
mrnumber = {3082524},
owner = {Vasco},
timestamp = {2014.10.18},
url = {http://dx.doi.org/10.1093/logcom/exr044}
}
Downloads: 0
{"_id":"hfZCqczbHar7MkFTb","bibbaseid":"anberre-firstorderuniversalityforrealprograms-2013","authorIDs":[],"author_short":["Anberrée, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Anberrée"],"firstnames":["Thomas"],"suffixes":[]}],"title":"First-order universality for real programs","journal":"J. Logic Comput.","year":"2013","volume":"23","pages":"729–751","number":"4","doi":"10.1093/logcom/exr044","file":"Anb13.pdf:Anb13.pdf:PDF","fjournal":"Journal of Logic and Computation","issn":"0955-792X","keywords":"bib,cca","mrclass":"68N18 (03B40 06E30 68Q55)","mrnumber":"3082524","owner":"Vasco","timestamp":"2014.10.18","url":"http://dx.doi.org/10.1093/logcom/exr044","bibtex":"@ARTICLE{Anb13,\r\n author = {Anberr{\\'e}e, Thomas},\r\n title = {First-order universality for real programs},\r\n journal = {J. Logic Comput.},\r\n year = {2013},\r\n volume = {23},\r\n pages = {729--751},\r\n number = {4},\r\n doi = {10.1093/logcom/exr044},\r\n file = {Anb13.pdf:Anb13.pdf:PDF},\r\n fjournal = {Journal of Logic and Computation},\r\n issn = {0955-792X},\r\n keywords = {bib,cca},\r\n mrclass = {68N18 (03B40 06E30 68Q55)},\r\n mrnumber = {3082524},\r\n owner = {Vasco},\r\n timestamp = {2014.10.18},\r\n url = {http://dx.doi.org/10.1093/logcom/exr044}\r\n}\r\n\r\n","author_short":["Anberrée, T."],"key":"Anb13","id":"Anb13","bibbaseid":"anberre-firstorderuniversalityforrealprograms-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1093/logcom/exr044"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.298Z","downloads":0,"keywords":["bib","cca"],"search_terms":["first","order","universality","real","programs","anberrée"],"title":"First-order universality for real programs","year":2013,"dataSources":["t7rKiAbxugj4Agz8M"]}