按相关排序
全部格式
全部页数
时间不限
只看优质
只看可投资
展开
排序：
相关 最多阅读 最新上传
格式：
全部 doc pdf ppt xls txt 豆单
页数：
全部 1-8页 9-100页 100页以上
时间：
全部 2024年 2023年 2022年及以前
13
Homomorphisms of homotopy coalgebras.pdf
Homomorphisms of homotopy coalgebras
收藏到书房
27
An institution of modal logics for coalgebras.pdf
This paper presents a modular framework for the specication of certain inductively-dened coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the category of sets have been studied in [M. Riger, Coalgebras and modal logic, in: H. Reichel (Ed.), Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science, vol. 33, Elsevier Science, 2000, pp. 299 320; B. Jacobs, Many-sorted coalgebraic modal logic: a model-theoretic study, Theoretical Informatics and Applications 35(1) (2001) 31 59]. These logics are here generalised to endofunctors on categories of sorted sets, in order to allow collections of inter-related types to be specied simultaneously. The inductive nature of the coalgebraic types considered is then used to formalise semantic relationships between different types, and to dene translations between the associated logics. The resulting logical framework is shown to be an institution, whose specications and specic
收藏到书房
29
Cofree coalgebras over operads and representative functions.pdf
Cofree coalgebras over operads and representative functions
收藏到书房
27
Behavioural equivalences for coalgebras with unobservable moves.pdf
Behavioural equivalences for coalgebras with unobservable moves
收藏到书房
32
Automata and fixed point logics for coalgebras.pdf
fixed point automata cellular automata finite automata point and say learning automata automata theory listen and point noteandpoint point and shoot
收藏到书房
25
from entangled codipterous coalgebras to coassociative manifolds.pdf
from entangled codipterous coalgebras to coassociative manifolds
收藏到书房
20
(em class=a-plus-plusH,Rem)-Lie coalgebras and (em class=a-plus-plusH,Rem)-Lie bialgebras.pdf
(em class=a-plus-plusH,Rem)-Lie coalgebras and (em class=a-plus-plusH,Rem)-Lie bialgebras
收藏到书房
24
LIE COALGEBRAS AND RATIONAL HOMOTOPY ….pdf
LIE COALGEBRAS AND RATIONAL HOMOTOPY …
收藏到书房
32
On tree coalgebras and coalgebra presentations.pdf
On tree coalgebras and coalgebra presentations
收藏到书房
38
Automatic equivalence proofs for non-deterministic coalgebras.pdf
Automatic equivalence proofs for non-deterministic coalgebras
收藏到书房

向豆丁求助：有没有coalgebras?

如要投诉违规内容，请联系我们按需举报；如要提出意见建议，请到社区论坛发帖反馈。