Reducing behavioural to structural properties of programs with procedures. Gurov, D. & Huisman, M. Theor. Comput. Sci., 480:69-103, 2013.
Link
Paper bibtex @article{journals/tcs/GurovH13,
added-at = {2013-04-18T00:00:00.000+0200},
author = {Gurov, Dilian and Huisman, Marieke},
biburl = {https://www.bibsonomy.org/bibtex/25571202fce13c1168a72ba66913fd073/dblp},
ee = {http://dx.doi.org/10.1016/j.tcs.2013.02.006},
interhash = {3c4109bade5000ce3584d2e2d8f0994b},
intrahash = {5571202fce13c1168a72ba66913fd073},
journal = {Theor. Comput. Sci.},
keywords = {dblp},
pages = {69-103},
timestamp = {2013-08-13T12:55:00.000+0200},
title = {Reducing behavioural to structural properties of programs with procedures.},
url = {http://dblp.uni-trier.de/db/journals/tcs/tcs480.html#GurovH13},
volume = 480,
year = 2013
}
Downloads: 0
{"_id":"yEzCFsKwon7nvfEdw","bibbaseid":"gurov-huisman-reducingbehaviouraltostructuralpropertiesofprogramswithprocedures-2013","authorIDs":["5d14be645b939dee01000058"],"author_short":["Gurov, D.","Huisman, M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2013-04-18T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Gurov"],"firstnames":["Dilian"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/25571202fce13c1168a72ba66913fd073/dblp","ee":"http://dx.doi.org/10.1016/j.tcs.2013.02.006","interhash":"3c4109bade5000ce3584d2e2d8f0994b","intrahash":"5571202fce13c1168a72ba66913fd073","journal":"Theor. Comput. Sci.","keywords":"dblp","pages":"69-103","timestamp":"2013-08-13T12:55:00.000+0200","title":"Reducing behavioural to structural properties of programs with procedures.","url":"http://dblp.uni-trier.de/db/journals/tcs/tcs480.html#GurovH13","volume":"480","year":"2013","bibtex":"@article{journals/tcs/GurovH13,\n added-at = {2013-04-18T00:00:00.000+0200},\n author = {Gurov, Dilian and Huisman, Marieke},\n biburl = {https://www.bibsonomy.org/bibtex/25571202fce13c1168a72ba66913fd073/dblp},\n ee = {http://dx.doi.org/10.1016/j.tcs.2013.02.006},\n interhash = {3c4109bade5000ce3584d2e2d8f0994b},\n intrahash = {5571202fce13c1168a72ba66913fd073},\n journal = {Theor. Comput. Sci.},\n keywords = {dblp},\n pages = {69-103},\n timestamp = {2013-08-13T12:55:00.000+0200},\n title = {Reducing behavioural to structural properties of programs with procedures.},\n url = {http://dblp.uni-trier.de/db/journals/tcs/tcs480.html#GurovH13},\n volume = 480,\n year = 2013\n}\n\n","author_short":["Gurov, D.","Huisman, M."],"key":"journals/tcs/GurovH13","id":"journals/tcs/GurovH13","bibbaseid":"gurov-huisman-reducingbehaviouraltostructuralpropertiesofprogramswithprocedures-2013","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.tcs.2013.02.006","Paper":"http://dblp.uni-trier.de/db/journals/tcs/tcs480.html#GurovH13"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Marieke Huisman?items=1000","creationDate":"2019-06-27T13:02:29.163Z","downloads":0,"keywords":["dblp"],"search_terms":["reducing","behavioural","structural","properties","programs","procedures","gurov","huisman"],"title":"Reducing behavioural to structural properties of programs with procedures.","year":2013,"dataSources":["sAaBbgDRpNpcvbGWj"]}