Infinite Computation, Co-induction and Computational Logic

Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak. Infinite Computation, Co-induction and Computational Logic. In Andrea Corradini, Bartek Klin, Corina Cîrstea, editors, Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings. Volume 6859 of Lecture Notes in Computer Science, pages 40-54, Springer, 2011. [doi]

Abstract

Abstract is missing.