搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2004 马库斯·弗里克 , 马丁·格罗赫 :
重温了一阶逻辑和一元二阶逻辑的复杂性。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 3-31 ( 2004 ) 吉勒姆·戈多伊 , Ashish蒂瓦里 , 拉凯什·M·维尔玛 :
多项式时间内某些项重写系统的合流判定。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 33-59 ( 2004 ) Stephan Kreutzer公司 :
最小值和通货膨胀定点逻辑的表达式等价。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 61-78 ( 2004 ) 奥利维耶·劳亨 :
两极化游戏。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 79-123 ( 2004 ) C.-H.卢克·翁 :
一种确定类阿尔戈尔语言观测等价性的方法。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 125-171 ( 2004 ) 马丁·奥托 :
有限过渡系统上的模态和保护特征定理。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 173-205 ( 2004 ) 戈登·普洛金 :
前言。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 1- ( 2004 ) 亚历克斯·K·辛普森 :
直觉集理论模型中递归类型的计算充分性。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 207-275 ( 2004 ) 迈克尔·索尔提斯 , 史提芬·古克 :
线性代数的证明复杂性。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 277-323 ( 2004 ) 理查德·斯塔特曼 :
在lambda上 Y(Y) 微积分。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 325-337 ( 2004 )