Into the Infinite - Theory Exploration for Coinduction

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99957-9_5 ◽

2018 ◽

pp. 70-86 ◽

Author(s):

Sólrún Halla Einarsdóttir ◽

Moa Johansson ◽

Johannes Åman Pohjola

Download Full-text