Logic in Computer Science  - LICS

领  域:  算法与理论

论文统计图
相关事件


最新的论文更多>>
A Compositional Semantics for the Reversible p-Calculus  
Ioana Cristescu , Jean Krivine , D. Varacca
Logic in Computer Science  2013
0次引用 0 0
An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree  
Lucas Heimberg , Dietrich Kuske , Schweikardt, N.
Logic in Computer Science  2013
0次引用 0 0
The Cost of Usage in the ?-Calculus  
Andrea Asperti , Lévy, J.-J.
Logic in Computer Science  2013
0次引用 0 0
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic  
Marcelo P. Fiore , Makoto Hamana
Logic in Computer Science  2013
0次引用 0 0
Model-Checking Parse Trees  
Anudhyan Boral , Sarah Schmitz
Logic in Computer Science  2013
0次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
Moshe Vardi
Rice University
 
Marcelo P. Fiore
University of Cambridge
 
Glynn Winskel
University of Cambridge
 
Gordon Plotkin
University of Edinburgh
 
Martin Grohe
Humboldt University of Berlin
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜