@techreport{abel_equational,
    author = {Andreas Abel},
    title = {Equational Reasoning about Formal Languages in Coalgebraic Style},
    journal = {JLAMP},
    year = {2017},
    date-added = {2024-12-7 10:36:2 +0100}
}

@techreport{abel_equational, author = {Andreas Abel}, title = {Equational Reasoning about Formal Languages in Coalgebraic Style}, journal = {JLAMP}, year = {2017}, date-added = {2024-12-7 10:36:2 +0100} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge