%0 Conference Paper %1 conf/logicColl/Courcelle85 %A Courcelle, Bruno %B Logic Colloquium %D 1985 %I Elsevier %K dblp %P 89-110 %T Proofs of partial correctness for iterative and recursive computations. %U http://dblp.uni-trier.de/db/conf/logicColl/logicColl1985.html#Courcelle85 %@ 0-444-70211-3

@inproceedings{conf/logicColl/Courcelle85, added-at = {2004-03-03T00:00:00.000+0100}, author = {Courcelle, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/210fd99af88497a592d0a6bd5343f6910/dblp}, booktitle = {Logic Colloquium}, crossref = {conf/logicColl/1985}, date = {2004-03-03}, description = {dblp}, interhash = {6828e4d1cd119f3da763997c1e9cfc8a}, intrahash = {10fd99af88497a592d0a6bd5343f6910}, isbn = {0-444-70211-3}, keywords = {dblp}, pages = {89-110}, publisher = {Elsevier}, timestamp = {2004-03-03T00:00:00.000+0100}, title = {Proofs of partial correctness for iterative and recursive computations.}, url = {http://dblp.uni-trier.de/db/conf/logicColl/logicColl1985.html#Courcelle85}, year = 1985 }