@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