Leiden University Scholarly Publications

Persistent URL of this record https://hdl.handle.net/1887/35814

Documents

Beta release

Statistics of Enhanced Coinduction
Statistics for this year
PeriodVisitsDownloads
202616231250
Statistics for the last 3 months
PeriodVisitsDownloads
2026-08138126
2026-09455118
2026-101010