Codatatype

MaRDI QIDQ40392swMATHFDO

Official website https://www.isa-afp.org/entries/Coinductive_Languages.html

Cited in

(1)

• A coalgebraic decision procedure for WS1S

This page was built for software: Codatatype