External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Into the Infinite - Theory Exploration for Coinduction

Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola. Into the Infinite - Theory Exploration for Coinduction. In Jacques D. Fleuriot, Dongming Wang, Jacques Calmet, editors, Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings. Volume 11110 of Lecture Notes in Computer Science, pages 70-86, Springer, 2018. [doi]

Authors

Sólrún Halla Einarsdóttir

This author has not been identified. Look up 'Sólrún Halla Einarsdóttir' in Google

Moa Johansson

This author has not been identified. Look up 'Moa Johansson' in Google

Johannes Åman Pohjola

This author has not been identified. Look up 'Johannes Åman Pohjola' in Google
runs on