Mathematical Structures in Computer Science  - MSCS

领  域:  算法与理论
主  页:  http://journals.cambridge.org/action/displayJournal?jid=MSC

论文统计图
最新的论文更多>>
Applications and extensions of Alloy: past, present and future  
Emina Torlak , Mana Taghdiri , Greg Dennis , Joseph P. Near
Mathematical Structures in Computer Science  2013
0次引用 0 0
A typed, algebraic, computational lambda-calculus  
Benoit Valiron
Mathematical Structures in Computer Science  2013
0次引用 0 0
Employing UML and OCL for designing and analysing role-based access control  
Mirco Kuhlmann , Karsten Sohr , Martin Gogolla
Mathematical Structures in Computer Science  2013
0次引用 0 0
Monadic translation of classical sequent calculus  
Jose Espirito Santo , Ralph Matthes , Koji Nakazawa , Luis Pinto
Mathematical Structures in Computer Science  2013
0次引用 0 0
A categorical analogue of the monoid semiring construction  
Peter M. Hines
Mathematical Structures in Computer Science  2013
0次引用 0 0
 录用率: 审稿周期: 个月 影响力:
投稿方向:
期刊点评
还没有人点评哦
主要作者
Jiri Adamek
Academy of Sciences of the Czech Republic
 
Hartmut Ehrig
Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany
 
Jiri Velebil
Czech Technical University
 
Thomas Streicher
 
Nadia Busi
Università di Bologna
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜