搜索页_+Cofree

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

常用资源

内部出版物

在“SpringerLink电子期刊”中，命中：26条，耗时：小于0.01 秒

1. Free and Cofree Acts of Dcpo-Monoids on Directed Complete Posets

作者： Mojgan Mahmoudi…

关键词：Directed complete partially ordered set ; Free ; Cofree ; Monoid actions

刊名：Bulletin of the Malaysian Mathematical Sciences Society

出版年：2016

2. Generators for comonoids and universal constructions

作者： Adnan H. Abdulwahid ; Miodrag C. Iovanov

关键词：Monoid ; Comonoid ; Free monoid ; Cofree ; Coalgebra ; Coring ; (Co)module coalgebra ; Complete ; Limits ; Bialgebra ; Hopf algebra

刊名：Archiv der Mathematik

出版年：2016

3. Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness

关键词：Logic programming ; Coalgebra ; Term ; matching resolution ; Coinductive derivation tree ; Lawvere theories ; Lax transformations ; Kan extensions

刊名：Lecture Notes in Computer Science

出版年：2016

4. Cofree Compositions of Coalgebras

作者：Stefan Forcey (1)
Aaron Lauve (2)
Frank Sottile (3)

关键词：05E05 ; 16W30 ; 18D50 ; multiplihedron ; composihedron ; binary tree ; cofree coalgebra ; one ; sided Hopf algebra ; operads ; species

刊名：Annals of Combinatorics

出版年：2013

5. Algebraic structures on double and plane posets

作者：Lo?c Foissy (1)

关键词：Combinatorial Hopf algebras ; 2 ; As algebras ; Double posets ; Plane posets

刊名：Journal of Algebraic Combinatorics

出版年：2013

6. Gaseous and electrochemical hydrogen storage kinetics of as-quenched nanocrystalline and amorphous Mg2Ni-type alloys

作者：Yanghuan Zhang (1) (2)
Tai Yang (1) (2)
Hongwei Shang (1) (2)
Guofang Zhang (1) (2)
Ying Cai (1)
Dongliang Zhao (2)

关键词：Mg2Ni ; type alloy ; rapid quenching ; substituting Ni with Co ; hydrogen storage kinetics

刊名：Journal of Wuhan University of Technology--Materials Science Edition

出版年：2013

7. From projective representations to quasi-quantum groups

作者：HuaLin Huang (1) hualin@sdu.edu.cn

关键词：Majid algebra – ; projective representation – ; Hopf quiver

刊名：SCIENCE CHINA Mathematics

出版年：2012

8. Coalgebraic Semantics for Derivations in Logic Programming

作者：Ekaterina Komendantskaya (1)
John Power (2)

关键词：Logic programming – ; SLD ; resolution – ; Coalgebra – ; Lawvere theories – ; Lax natural transformations – ; Oplax maps of coalgebras

刊名：Lecture Notes in Computer Science

出版年：2011

9.Banaschewski¡¯s theorem for S-posets: regular injectivity and completeness

作者：M. M. Ebrahimi ; M. Mahmoudi and H. Rasouli

关键词：S ; poset ; Regular injectivity ; Completeness

刊名：Semigroup Forum

出版年：2010

10.Cofree Coalgebras for Signature Morphisms

作者：Uwe Wolter

刊名：Lecture Notes in Computer Science

出版年：2005

1

2

3

按检索点细分(26)

题名(6)

关键词(5)

文摘(22)

按出版年细分(26)

2016年(3)

2013年(3)

2012年(1)

2011年(1)

2010年(1)

2008年(2)

2005年(9)

2001年(2)

2000年(2)

2000年及以前(2)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.