搜索页_Definability+

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

SpringerLink电子期刊(361)

在“SpringerLink电子期刊”中，命中：361条，耗时：小于0.01 秒

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

1. 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

2. Definability of Frobenius orbits and a result on rational distance sets

作者： Hector Pasten

关键词：Undecidability ; Positive characteristic ; Abc conjecture ; Erdös–Ulam problem ; Rational distance sets

刊名：Monatshefte für Mathematik

出版年：2017

3. Definability in the Substructure Ordering of Simple Graphs

作者： Alexander Wires

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

刊名：Annals of Combinatorics

出版年：2016

4. Modal Definability Based on Łukasiewicz Validity Relations

作者： Bruno Teheux

关键词：Modal logic ; Many ; valued logic ; Łukasiewicz logic ; Kripke semantics ; Relational semantics ; Goldblatt ; Thomason theorem ; Modal definability

刊名：Studia Logica

出版年：2016

5. Definability of Recursive Predicates in the Induced Subgraph Order

刊名：Lecture Notes in Computer Science

出版年：2017

6. Definability in First Order Theories of Graph Orderings

关键词：Graphs ; Partial order ; Logical theory ; Definability

刊名：Lecture Notes in Computer Science

出版年：2016

7. Computable Model Theory over the Reals

刊名：Lecture Notes in Computer Science

出版年：2017

8. Semantical conditions for the definability of functions and relations

作者： Miguel Campercholi ; Diego Vaggione

刊名：Algebra Universalis

出版年：2016

9. Characterizing Relative Frame Definability in Team Semantics via the Universal Modality

刊名：Lecture Notes in Computer Science

出版年：2016

10. An Investigation of Definability in Ontology Alignment

刊名：Lecture Notes in Computer Science

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(361)

题名(140)

关键词(117)

文摘(235)

按出版年细分(361)

2017年(4)

2016年(17)

2015年(28)

2014年(18)

2013年(16)

2012年(23)

2011年(8)

2010年(19)

2009年(18)

2008年(25)

2007年(20)

2006年(30)

2005年(24)

2004年(18)

2003年(19)

2002年(18)

2001年(12)

2000年(18)

2000年及以前(26)

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

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

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

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