Differential recursion. Kawamura, A. ACM Trans. Comput. Log., 10(3):Art. 22, 22, 2009.
Paper doi bibtex @ARTICLE{Kaw09,
author = {Kawamura, Akitoshi},
title = {Differential recursion},
journal = {ACM Trans. Comput. Log.},
year = {2009},
volume = {10},
pages = {Art. 22, 22},
number = {3},
doi = {10.1145/1507244.1507252},
fjournal = {ACM Transactions on Computational Logic},
issn = {1529-3785},
keywords = {bib,cca},
mrclass = {03D78 (68Q05)},
mrnumber = {2535441 (2011b:03070)},
mrreviewer = {Ning Zhong},
owner = {Vasco},
timestamp = {2013.12.01},
url = {http://dx.doi.org/10.1145/1507244.1507252}
}
Downloads: 0
{"_id":"fQozz93xwnoPecAcK","bibbaseid":"kawamura-differentialrecursion-2009","authorIDs":[],"author_short":["Kawamura, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kawamura"],"firstnames":["Akitoshi"],"suffixes":[]}],"title":"Differential recursion","journal":"ACM Trans. Comput. Log.","year":"2009","volume":"10","pages":"Art. 22, 22","number":"3","doi":"10.1145/1507244.1507252","fjournal":"ACM Transactions on Computational Logic","issn":"1529-3785","keywords":"bib,cca","mrclass":"03D78 (68Q05)","mrnumber":"2535441 (2011b:03070)","mrreviewer":"Ning Zhong","owner":"Vasco","timestamp":"2013.12.01","url":"http://dx.doi.org/10.1145/1507244.1507252","bibtex":"@ARTICLE{Kaw09,\r\n author = {Kawamura, Akitoshi},\r\n title = {Differential recursion},\r\n journal = {ACM Trans. Comput. Log.},\r\n year = {2009},\r\n volume = {10},\r\n pages = {Art. 22, 22},\r\n number = {3},\r\n doi = {10.1145/1507244.1507252},\r\n fjournal = {ACM Transactions on Computational Logic},\r\n issn = {1529-3785},\r\n keywords = {bib,cca},\r\n mrclass = {03D78 (68Q05)},\r\n mrnumber = {2535441 (2011b:03070)},\r\n mrreviewer = {Ning Zhong},\r\n owner = {Vasco},\r\n timestamp = {2013.12.01},\r\n url = {http://dx.doi.org/10.1145/1507244.1507252}\r\n}\r\n\r\n","author_short":["Kawamura, A."],"key":"Kaw09","id":"Kaw09","bibbaseid":"kawamura-differentialrecursion-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1145/1507244.1507252"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.785Z","downloads":0,"keywords":["bib","cca"],"search_terms":["differential","recursion","kawamura"],"title":"Differential recursion","year":2009,"dataSources":["t7rKiAbxugj4Agz8M"]}