搜索页_Axiomatization

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

Wiley电子期刊(3)	SpringerLink电子期刊(733)	Elsevier电子期刊(492)
Springer电子图书(5)	ProQuest学位论文(15)

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

在所有数据库中总计命中：1,248条

1.Generalized comonotonicity and new axiomatizations of Sugeno integrals on bounded distributive lattices

作者：Radomí ; r Hala&scaron ; ^a ; ^{radomir.halas@upol.cz} ; Radko Mesiar^a ; ^b ; ^{radko.mesiar@stuba.sk} ; Jozef Pó ; cs^a ; ^c ; ^{pocs@saske.sk}

关键词：Bounded distributive lattice ; Comonotonicity ; Information fusion ; Sugeno integral

刊名：International Journal of Approximate Reasoning

出版年：2017

2.Price of privacy

作者：Pavel Naumov^a ; ^{pnaumov@vassar.edu} ; Jia Tao^b ; ^{taoj@tcnj.edu}

关键词：Completeness ; Axiomatization ; Privacy ; Epistemic logic ; Knowledge ; Cost analysis

刊名：Journal of Applied Logic

出版年：2017

3.Inclusion dependencies and their interaction with functional dependencies in SQL

作者：Henning Koehler^a ; ^{h.koehler@massey.ac.nz} ; Sebastian Link^b ; ^{s.link@auckland.ac.nz}

关键词：Axiomatization ; Chase ; Complexity ; Functional dependency ; Inclusion dependency ; Null ; Partial semantics ; Simple semantics ; Undecidability ; SQL

刊名：Journal of Computer and System Sciences

出版年：2017

4.Marketing impact on diffusion in social networks

作者：Pavel Naumov^a ; ^{pgn2@cornell.edu} ; Jia Tao^b ; ^{taoj@tcnj.edu}

关键词：Diffusion ; Marketing ; Axiomatization ; Armstrong's axioms ; Completeness

刊名：Journal of Applied Logic

出版年：2017

5.The place of probability in Hilbert’s axiomatization of physics, ca. 1900-1928

作者：Lukas M. Verburgt

关键词：David Hilbert ; Probability theory ; Axiomatization of physics ; Foundations of modern science ; Structure of matter ; General covariance

刊名：Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics

出版年：2016

6.A synthetic axiomatization of Map Theory

作者：Chantal Berline^a ; ¹ ; ^{berline@pps.univ-paris-diderot.fr" class="auth_mail" title="E-mail the corresponding author} ; Klaus Grue^b ; ^{grue@di.ku.dk" class="auth_mail" title="E-mail the corresponding author}

关键词：Lambda calculus ; Foundation of mathematics ; Map theory ; Kappa-Scott semantics ; Hilbert's epsilon operator

刊名：Theoretical Computer Science

出版年：2016

7.An axiomatization of difference-form contest success functions

作者：Marí ; a Cubel^a ; ^{cubel@ub.edu" class="auth_mail" title="E-mail the corresponding author} ; ; Santiago Sanchez-Pages^b ; ^{sanchez.pages@gmail.com" class="auth_mail" title="E-mail the corresponding author} ;

关键词：D31 ; D63 ; D72 ; D74

刊名：Journal of Economic Behavior and Organization

出版年：2016

8.Duality and anti-duality in TU games applied to solutions, axioms, and axiomatizations

作者：Takayuki Oishi^a ; ^{takayuki1q80@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; Mikio Nakayama^b ; ^{mnakayama@rku.ac.jp" class="auth_mail" title="E-mail the corresponding author} ; Toru Hokari^c ; ^{hokari@econ.keio.ac.jp" class="auth_mail" title="E-mail the corresponding author} ; Yukihiko Funaki^d ; ^{funaki@waseda.jp" class="auth_mail" title="E-mail the corresponding author}

关键词：Duality ; Anti-duality ; Core ; Shapley value ; Dutta&ndash ; Ray solution

刊名：Journal of Mathematical Economics

出版年：2016

9.A note on axiomatizations of Pavelka-style complete fuzzy logics

作者：Petr Cintula ^{cintula@cs.cas.cz" class="auth_mail" title="E-mail the corresponding author}

关键词：Mathematical fuzzy logic ; Pavelka-style completeness ; MTL logic ; Łukasiewicz logics ; Product logic ; Truth constants

刊名：Fuzzy Sets and Systems

出版年：2016

10.Product line process theory

作者：Fatemeh Ghassemi^a ; ^{fghassemi@ut.ac.ir" class="auth_mail" title="E-mail the corresponding author} ; Mohammad Reza Mousavi^b ; ¹

关键词：Software product line ; Process theory ; Product line bisimulation ; Strict strong bisimulation ; μ-Calculus ; Axiomatization

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2016

按检索点细分(492)

题名(102)

关键词(100)

文摘(402)

按出版年细分(492)

2027年及以后(7)

2017年(4)

2016年(26)

2015年(9)

2014年(2)

2013年(25)

2012年(18)

2011年(33)

2010年(26)

2009年(24)

2008年(36)

2007年(33)

2006年(22)

2005年(20)

2004年(15)

2003年(38)

2002年(17)

2001年(22)

2000年(18)

2000年及以前(97)

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

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