《理论计算机科学》第480卷
第480卷,2013年4月
埃里克·巴杜埃尔 , 罗德里格·楚贡 , 朱古尼天青 , 伯纳德·福清 :
属性文法作为无限树及其描述性组合的循环表示上的树变换器。 1-25 阿加塔·恰巴托尼 , 佛朗科·蒙塔格纳 :
局部有限多值逻辑的证明理论:半投射逻辑。 26-42 马塞洛·达戈斯蒂诺 , 马塞洛·芬格 , Dov M.Gabbay公司 :
深度有界布尔逻辑的语义和证明理论。 43-68 迪利安·古罗夫 , 玛丽克·赫斯曼 :
通过过程将程序的行为属性减少为结构属性。 69-103 本杰明·阿米诺夫 , 奥尔娜·库普夫曼 , 罗比·兰伯特 :
加权自动机的严格近似确定。 104-117