搜索页_Definable+type

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

SpringerLink电子期刊(139)	NATURE电子期刊(3)	Elsevier电子期刊(121)
ProQuest学位论文(6)	GSW全文库(4)	ACS电子期刊(1)

在“SpringerLink电子期刊”中，命中：139条，耗时：0.0429792 秒

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

1. Definable types in the theory of closed ordered differential fields

作者： Quentin Brouette

关键词：Definable type ; Differential field ; Real closed field ; Dedekind completeness

刊名：Archive for Mathematical Logic

出版年：2017

2. Generic Vopěnka’s Principle, remarkable cardinals, and the weak Proper Forcing Axiom

作者： Joan Bagaria ; Victoria Gitman ; Ralf Schindler

关键词：Large cardinals ; Vopěnka’s Principle ; Generic Vopěnka’s Principle ; Remarkable cardinals ; Proper Forcing Axiom

刊名：Archive for Mathematical Logic

出版年：2017

3. Substituting for the State? Friendship Societies in Germany

作者： Matthias Freise

关键词：Voluntary associations ; Friendship societies ; Local civil society ; Citizenship ; Germany

刊名：VOLUNTAS: International Journal of Voluntary and Nonprofit Organizations

出版年：2017

4. On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames

作者： Wesley H. Holliday

关键词：Medvedev frames ; Modal logic ; Definability ; Nominal tense logic ; Difference modality ; Complement modality ; Axiomatizability ; Kripke frame incompleteness

刊名：Studia Logica

出版年：2017

5. When a Büchi Language Is Definable in type-small-caps">wmso

刊名：Lecture Notes in Computer Science

出版年：2016

6. When a Thin Language Is Definable in type-small-caps">wmso

刊名：Lecture Notes in Computer Science

出版年：2016

7. Definability in the Substructure Ordering of Simple Graphs

作者： Alexander Wires

关键词：first ; order definability ; induced subgraphs ; ordered set ; universal classes

刊名：Annals of Combinatorics

出版年：2016

8. Implementing Cantor’s Paradise

关键词：Fitch ; Prawitz set theory ; Logical frameworks ; Paradoxes ; Coalgebras ; Hyperuniverses

刊名：Lecture Notes in Computer Science

出版年：2016

9. Weakly extendable partial clones on an infinite set

作者： Boris A. Romov

刊名：Algebra Universalis

出版年：2016

10. Regular Programming for Quantitative Properties of Data Streams

刊名：Lecture Notes in Computer Science

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(139)

题名(4)

关键词(4)

文摘(130)

按出版年细分(139)

2017年(4)

2016年(6)

2015年(5)

2014年(13)

2013年(11)

2012年(13)

2010年(6)

2009年(13)

2008年(9)

2007年(14)

2006年(11)

2005年(5)

2004年(2)

2002年(5)

2001年(4)

2000年(6)

2000年及以前(12)

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

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

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

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