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

在所有数据库中总计命中：24条

1. Coalgebraic Completeness-via-Canonicity
刊名：Lecture Notes in Computer Science
出版年：2016
3. Tensors, !-graphs, and Non-commutative Quantum Structures
刊名：New Generation Computing
出版年：2016
4. Fixed Points of Functors - A Short Abstract
刊名：Lecture Notes in Computer Science
出版年：2016
5. Hybrid Automata as Coalgebras
刊名：Lecture Notes in Computer Science
出版年：2016
6. Coalgebraic Trace Semantics via Forgetful Logics
刊名：Lecture Notes in Computer Science
出版年：2015
8. Coalgebraic Semantics of Heavy-Weighted Automata
刊名：Lecture Notes in Computer Science
出版年：2015
9. Revisiting causality, coalgebraically
刊名：Acta Informatica
出版年：2015
1
2
3
4
5
6
7
8
9
按检索点细分(82)
题名(15)
关键词(1)
文摘(67)
按出版年细分(82)
2016年(5)
2015年(7)
2014年(8)
2013年(8)
2012年(11)
2011年(3)
2010年(3)
2009年(5)
2008年(1)
2007年(16)
2006年(2)
2005年(12)
2001年(1)
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.