Xiaohong Chen 0002, Dorel Lucanu, Grigore Rosu. A unifying logical foundation for initial algebra semantics and induction. Theoretical Computer Science, 1077:115981, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.