Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Advanced Topics in Bisimulation and Coinduction
sidottu,
2011,
englanti,
ISBN 9781107004979
Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important …