搜索页_Daniel+Leivant

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

内部出版物

Springer电子图书(2)

SpringerLink电子期刊(7)

Elsevier电子期刊(11)

在“Elsevier电子期刊”中，命中：11条，耗时：0.0729645 秒

在所有数据库中总计命中：20条

1.Inductive Completeness of Logics of Programs

作者：Daniel Leivant

关键词：Inductive definitions ; program semantics ; inductive completeness ; Hoare logic

刊名：Electronic Notes in Theoretical Computer Science

出版年：2009

2.Logic, language, information and computation

作者：Daniel Leivant ; Ruy de Queiroz

刊名：Information and Computation

出版年：2010

3.Propositional Dynamic Logic with Program Quantifiers

作者：Daniel Leivant

关键词：Propositional dynamic logic with program quantification ; μ ; PDL ; QPDL

刊名：Electronic Notes in Theoretical Computer Science

出版年：2008

4.Intrinsic reasoning about functional programs II: unipolar induction and primitive-recursion

作者：Leivant ; Daniel

刊名：Theoretical Computer Science

出版年：2004

5.Intrinsic reasoning about functional programs I: first order theories

作者：Leivant ; Daniel

关键词：03F05 ; 03F20 ; 03F30 ; 03F55 ; 03D15 ; 08B20 ; 68W30 ; 68Q15 ; Intrinsic theories ; Free algebras ; Equational programs ; First order arithmetic ; Curry&ndash ; Howard morphisms

刊名：Annals of Pure and Applied Logic

出版年：2002

6.Feasible functionals and intersection of ramified types

作者：Daniel Leivant

刊名：Electronic Notes in Theoretical Computer Science

出版年：2003

7.Guest editorial

作者：Dawar ; Anuj ; Leivant ; Daniel

刊名：Information and Computation

出版年：2003

8.A characterization of alternating log time by ramified recurrence

作者：Leivant ; Daniel ; et. al.

关键词：Alogtime ; Alternation ; Ramified recursion ; Recursion with substitution parameters ; Tree recursion ; Implicit computational complexity

刊名：Theoretical Computer Science

出版年：2000

9.Ramified recurrence and computational complexity III: Higher type recurrence and elementary complexity

作者：Leivant ; Daniel

关键词：03D15 ; 03F05 ; 03F10 ; 68N15 ; 68Q05 ; 68Q15 ; 68Q40 ; Ramified recurrence ; Primitive recursion ; Computational complexity ; Kalmar-elementary functions ; Higher type functions ; Free algebras

刊名：Annals of Pure and Applied Logic

出版年：1999

作者：Leivant ; Daniel

刊名：Information and Computation

出版年：1998

1

2

按检索点细分(11)

作者(11)

按出版年细分(11)

2010年(1)

2009年(1)

2008年(1)

2004年(1)

2003年(2)

2002年(1)

2000年(1)

2000年及以前(3)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700