Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/cl/cl29.bht:"
@article{DBLP:journals/cl/CamposS03, author = {Alvaro E. Campos and Dionel A. Suazo}, title = {Data-race and concurrent-write freedom are undecidable}, journal = {Comput. Lang. Syst. Struct.}, volume = {29}, number = {1-2}, pages = {1--13}, year = {2003}, url = {https://doi.org/10.1016/S1477-8424(03)00014-9}, doi = {10.1016/S1477-8424(03)00014-9}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/CamposS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/HillS03, author = {Patricia M. Hill and Fausto Spoto}, title = {Logic programs as compact denotations}, journal = {Comput. Lang. Syst. Struct.}, volume = {29}, number = {3}, pages = {45--73}, year = {2003}, url = {https://doi.org/10.1016/S1477-8424(03)00023-X}, doi = {10.1016/S1477-8424(03)00023-X}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/HillS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/KhedkerDM03, author = {Uday P. Khedker and Dhananjay M. Dhamdhere and Alan Mycroft}, title = {Bidirectional data flow analysis for type inferencing}, journal = {Comput. Lang. Syst. Struct.}, volume = {29}, number = {1-2}, pages = {15--44}, year = {2003}, url = {https://doi.org/10.1016/S1477-8424(03)00012-5}, doi = {10.1016/S1477-8424(03)00012-5}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/KhedkerDM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/MarisRO03, author = {Justin T. Maris and Matthew D. Roper and Ronald A. Olsson}, title = {DesCaRTeS: a run-time system with SR-like functionality for programming a network of embedded systems}, journal = {Comput. Lang. Syst. Struct.}, volume = {29}, number = {4}, pages = {75--100}, year = {2003}, url = {https://doi.org/10.1016/j.cl.2003.10.001}, doi = {10.1016/J.CL.2003.10.001}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cl/MarisRO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.