@inproceedings{10.1007/978-3-642-22944-2_2,
    Abstract = {Systems of equations over $\omega$-continuous semirings can be mapped to context-free grammars in a natural way. We show how an analysis of the derivation trees of the grammar yields new algorithms for approximating and even computing exactly the least solution of the system.},
    Address = {Berlin, Heidelberg},
    Author = {Esparza, Javier and Luttenberger, Michael},
    BookTitle = {Algebra and Coalgebra in Computer Science},
    Editor = {Corradini, Andrea and Klin, Bartek and C{\^\i}rstea, Corina},
    File = {0a552ce59857c4a169d74d91539168a23505 (0) - a - a - h.pdf},
    ISBN = {978-3-642-22944-2},
    Pages = {19--35},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Solving Fixed-Point Equations by Derivation Tree Analysis},
    Year = {2011},
    date-added = {2018-10-10 06:09:49 +0000},
    date-modified = {2018-10-10 06:09:49 +0000},
    file-2 = {Esparza (0) - a - a - h.pdf},
    doi = {10.1007/978-3-642-22944-2_2}
}

@inproceedings{10.1007/978-3-642-22944-2_2, Abstract = {Systems of equations over $\omega$-continuous semirings can be mapped to context-free grammars in a natural way. We show how an analysis of the derivation trees of the grammar yields new algorithms for approximating and even computing exactly the least solution of the system.}, Address = {Berlin, Heidelberg}, Author = {Esparza, Javier and Luttenberger, Michael}, BookTitle = {Algebra and Coalgebra in Computer Science}, Editor = {Corradini, Andrea and Klin, Bartek and C{\^\i}rstea, Corina}, File = {0a552ce59857c4a169d74d91539168a23505 (0) - a - a - h.pdf}, ISBN = {978-3-642-22944-2}, Pages = {19--35}, Publisher = {Springer Berlin Heidelberg}, Title = {Solving Fixed-Point Equations by Derivation Tree Analysis}, Year = {2011}, date-added = {2018-10-10 06:09:49 +0000}, date-modified = {2018-10-10 06:09:49 +0000}, file-2 = {Esparza (0) - a - a - h.pdf}, doi = {10.1007/978-3-642-22944-2_2} }