%0 Conference Paper %1 conf/calco/GuptaSDMMK11 %A Gupta, Gopal %A Saeedloei, Neda %A DeVries, Brian W. %A Min, Richard %A Marple, Kyle %A Kluzniak, Feliks %B CALCO %D 2011 %E Corradini, Andrea %E Klin, Bartek %E Cîrstea, Corina %I Springer %K dblp %P 40-54 %T Infinite Computation, Co-induction and Computational Logic. %U http://dblp.uni-trier.de/db/conf/calco/calco2011.html#GuptaSDMMK11 %V 6859 %@ 978-3-642-22943-5

@inproceedings{conf/calco/GuptaSDMMK11, added-at = {2022-10-26T00:00:00.000+0200}, author = {Gupta, Gopal and Saeedloei, Neda and DeVries, Brian W. and Min, Richard and Marple, Kyle and Kluzniak, Feliks}, biburl = {https://www.bibsonomy.org/bibtex/291aed78699a79e0bc7ae9625df76015b/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2011}, editor = {Corradini, Andrea and Klin, Bartek and Cîrstea, Corina}, ee = {https://doi.org/10.1007/978-3-642-22944-2_4}, interhash = {d59a52578de3c418b1bf7aa9d163d2e2}, intrahash = {91aed78699a79e0bc7ae9625df76015b}, isbn = {978-3-642-22943-5}, keywords = {dblp}, pages = {40-54}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:32:35.000+0200}, title = {Infinite Computation, Co-induction and Computational Logic.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2011.html#GuptaSDMMK11}, volume = 6859, year = 2011 }