锡箔纸 发表于 2025-3-30 10:03:08

Stephen P. Osborne,Kathleen Rosse main result of our paper is a straightforward construction of the final .-coalgebra of a set functor using a given logical language that has the Hennessy-Milner property with respect to the class of .-coalgebras.

HACK 发表于 2025-3-30 12:32:20

http://reply.papertrans.cn/99/9843/984249/984249_52.png
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Voluntary Organisations and Social Policy in Britain; Perspectives on Chan Margaret Harris (Professor of Voluntary Sector Org Textbook 2001