CoCLAM

MaRDI QIDQ40433swMATHFDO

Official website https://link.springer.com/article/10.1023%2FA%3A1018940332714

Described by source

• Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts

Cited in

(1)

• Finitary coalgebraic multisemilattices and multilattices.

This page was built for software: CoCLAM