Programming languages capturing complexity classes. Hofmann 0001, M. SIGACT News (SIGACT), 31(1):31-42, 2000. Paper bibtex @article{ dblp4479618,
title = {Programming languages capturing complexity classes},
author = {Martin Hofmann 0001},
author_short = {Hofmann 0001, M.},
bibtype = {article},
type = {article},
year = {2000},
key = {dblp4479618},
id = {dblp4479618},
biburl = {http://www.dblp.org/rec/bibtex/journals/sigact/Hofmann00},
url = {http://doi.acm.org/10.1145/346048.346051},
journal = {SIGACT News (SIGACT)},
pages = {31-42},
number = {1},
volume = {31},
text = {SIGACT News (SIGACT) 31(1):31-42 (2000)}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f3b"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M."],"bibbaseid":"hofmann0001-programminglanguagescapturingcomplexityclasses-2000","bibdata":{"title":"Programming languages capturing complexity classes","author":["Martin Hofmann 0001"],"author_short":["Hofmann 0001, M."],"bibtype":"article","type":"article","year":"2000","key":"dblp4479618","id":"dblp4479618","biburl":"http://www.dblp.org/rec/bibtex/journals/sigact/Hofmann00","url":"http://doi.acm.org/10.1145/346048.346051","journal":"SIGACT News (SIGACT)","pages":"31-42","number":"1","volume":"31","text":"SIGACT News (SIGACT) 31(1):31-42 (2000)","bibtex":"@article{ dblp4479618,\n title = {Programming languages capturing complexity classes},\n author = {Martin Hofmann 0001},\n author_short = {Hofmann 0001, M.},\n bibtype = {article},\n type = {article},\n year = {2000},\n key = {dblp4479618},\n id = {dblp4479618},\n biburl = {http://www.dblp.org/rec/bibtex/journals/sigact/Hofmann00},\n url = {http://doi.acm.org/10.1145/346048.346051},\n journal = {SIGACT News (SIGACT)},\n pages = {31-42},\n number = {1},\n volume = {31},\n text = {SIGACT News (SIGACT) 31(1):31-42 (2000)}\n}","bibbaseid":"hofmann0001-programminglanguagescapturingcomplexityclasses-2000","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/346048.346051"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/sigact/Hofmann00","downloads":0,"keywords":[],"search_terms":["programming","languages","capturing","complexity","classes","hofmann 0001"],"title":"Programming languages capturing complexity classes","year":2000,"dataSources":["Fz2R465RijcQpexSr"]}