Codatatype

MaRDI QIDQ40392swMATHFDO

Authors Dmitriy Traytel

Publication date 15 November 2013

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