CoCLAM

swMATH28719MaRDI QIDQ40433FDOQ40433

Author name not available (Why is that?)

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