@inproceedings{10.1007/978-3-540-73445-1_23,
    Abstract = {We study the set TAof infinite binary trees with nodes labelled in a semiring A from a coalgebraic perspective. We present coinductive definition and proof principles based on the fact that TAcarries a final coalgebra structure. By viewing trees as formal power series, we develop a calculus where definitions are presented as behavioural differential equations. We present a general format for these equations that guarantees the existence and uniqueness of solutions. Although technically not very difficult, the resulting framework has surprisingly nice applications, which is illustrated by various concrete examples.},
    Address = {Berlin, Heidelberg},
    Author = {Silva, Alexandra and Rutten, Jan},
    BookTitle = {Logic, Language, Information and Computation},
    Editor = {Leivant, Daniel and de Queiroz, Ruy},
    File = {Behavioural Differential Equations and Coinduction for Binary Trees - silva2007 - a.pdf},
    ISBN = {978-3-540-73445-1},
    Pages = {322--336},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Behavioural Differential Equations and Coinduction for Binary Trees},
    Year = {2007},
    date-added = {2023-03-25 19:28:50 +0100},
    date-modified = {2023-03-25 19:28:50 +0100},
    doi = {10.1007/978-3-540-73445-1_23}
}

@inproceedings{10.1007/978-3-540-73445-1_23, Abstract = {We study the set TAof infinite binary trees with nodes labelled in a semiring A from a coalgebraic perspective. We present coinductive definition and proof principles based on the fact that TAcarries a final coalgebra structure. By viewing trees as formal power series, we develop a calculus where definitions are presented as behavioural differential equations. We present a general format for these equations that guarantees the existence and uniqueness of solutions. Although technically not very difficult, the resulting framework has surprisingly nice applications, which is illustrated by various concrete examples.}, Address = {Berlin, Heidelberg}, Author = {Silva, Alexandra and Rutten, Jan}, BookTitle = {Logic, Language, Information and Computation}, Editor = {Leivant, Daniel and de Queiroz, Ruy}, File = {Behavioural Differential Equations and Coinduction for Binary Trees - silva2007 - a.pdf}, ISBN = {978-3-540-73445-1}, Pages = {322--336}, Publisher = {Springer Berlin Heidelberg}, Title = {Behavioural Differential Equations and Coinduction for Binary Trees}, Year = {2007}, date-added = {2023-03-25 19:28:50 +0100}, date-modified = {2023-03-25 19:28:50 +0100}, doi = {10.1007/978-3-540-73445-1_23} }