Category Theory and Computer Science  - CTCS

领  域:  算法与理论
主  页:  http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/index.html

论文统计图
最新的论文更多>>
Weak Bisimulation for Action-Type Coalgebras 1  
Ana Sokolova , Erik P. De Vink , Harald Woracek
Category Theory and Computer Science  2004
1次引用 0 0
Unifying Bisimulation Relations for Discrete and Continuous Systems  
Esf , iar Haghverdi , Paulo Tabuada , George Pappas
Category Theory and Computer Science  2002
7次引用 0 0
A Coalgebraic Foundation for Linear Time Semantics  
John Power , Daniele Turi
Category Theory and Computer Science  1999
11次引用 0 0
Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings  
Eugenio Moggi , Giuseppe Rosolini
Category Theory and Computer Science  1997
0次引用 0 0
Categorical Modelling of Structural Operational Rules: Case Studies  
Daniele Turi
Category Theory and Computer Science  1997
15次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
Eugenio Moggi
Università degli Studi di Genova
 
Axel Poigne
German National Research Center for Computer Science (GMD)
 
Andrzej Tarlecki
Warsaw University
 
David E. Rydeheard
 
David H. Pitt
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜