搜索页_Separation+logic

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(2)	SpringerLink电子期刊(523)	GSW全文库(12)
Wiley电子期刊(6)	ProQuest学位论文(45)	Elsevier电子期刊(382)
Springer电子图书(14)	NATURE电子期刊(8)	ACS电子期刊(29)

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

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

1.Completeness for recursive procedures in separation logic

作者：Mahmudul Faisal Al Ameen^a ; ^{alameen@nii.ac.jp" class="auth_mail" title="E-mail the corresponding author} ; Makoto Tatsuta^b ; ^{tatsuta@nii.ac.jp" class="auth_mail" title="E-mail the corresponding author}

关键词：Separation logic ; Hoare's logic ; Completeness ; Recursive procedures

刊名：Theoretical Computer Science

出版年：2016

2.Remediation of a synthetic textile wastewater from polyester-cotton dyeing combining biological and photochemical oxidation processes

作者：Petrick A. Soares^a ; ^b ; ^{petrick.soares@unoesc.edu.br" class="auth_mail" title="E-mail the corresponding author} ; Renata Souza^a ; Juan Soler^a ; Tâ ; nia F.C.V. Silva^a ; Selene M.A. Guelli U. Souza^c ; Rui A.R. Boaventura^a ; Ví ; tor J.P. Vilar^a ; ^{vilar@fe.up.pt" class="auth_mail" title="E-mail the corresponding author}

关键词：Wastewater from textile dyeing ; Dyeing auxiliary products ; Biological oxidation ; Advanced oxidation processes ; Cost analysis

刊名：Separation and Purification Technology

出版年：2017

3.New Logic and Agrotropico jointly create zero waste palm-oil mill

刊名：Membrane Technology

出版年：2017

4.Secure and efficient user authentication scheme for multi-gateway wireless sensor networks

作者：Jangirala Srinivas^a ; ^{jangiralasrinivas@maths.iitkgp.ernet.in" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Sourav Mukhopadhyay^a ; ^{sourav@maths.iitkgp.ernet.in" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Dheerendra Mishra ; ^b ; ^{dheerendra@maths.iitkgp.ernet.in" class="auth_mail" title="E-mail the corresponding author} ; ^{dheerendra.m@gmail.com" class="auth_mail" title="E-mail the corresponding author}Author Vitae

关键词：Internet of things (IoT) ; Wireless sensor networks(WSNs) ; Authentication

刊名：Ad Hoc Networks

出版年：2017

5.A logic of separating modalities

作者：Jean-René ; Courtault^a ; ^{jean-rene.courtault@loria.fr" class="auth_mail" title="E-mail the corresponding author} ; Didier Galmiche^a ; ^{didier.galmiche@loria.fr" class="auth_mail" title="E-mail the corresponding author} ; David Pym^b ; ^{d.pym@ucl.ac.uk" class="auth_mail" title="E-mail the corresponding author}

关键词：Bunched logic ; Separation logic ; Modal logic ; Resource semantics ; Tableaux ; Concurrency

刊名：Theoretical Computer Science

出版年：2016

6.Parenthood and separation in couples 6 years after their first infertility consultation

作者：Magali Ferreira^a ; ¹ ; Emeline Teillet Sanchez^a ; ¹ ; Nicolas Gatimel^a ; ^b ; Carole Fajau^a ; Florence Lesourd^a ; Louis Bujan^a ; ^b ; Roger Mieusset^a ; ^b ; Jean Parinaud^a ; ^b ; ^{parinaud.j@chu-toulouse.fr" class="auth_mail" title="E-mail the corresponding author} ; Roger Leandri^a ; ^b

关键词：Infertility ; Follow-up studies ; Parenthood ; Separation

刊名：European Journal of Obstetrics & Gynecology and Reproductive Biology

出版年：2016

7.Single chain completeness and some related properties

作者：Stefano Aguzzoli ^{aguzzoli@di.unimi.it" class="auth_mail" title="E-mail the corresponding author} ; Matteo Bianchi ; ^{matteo.bianchi@unimi.it" class="auth_mail" title="E-mail the corresponding author}

关键词：Many-valued logics ; Monoidal t-norm based logic ; Single chain completeness ; Variable separation properties ; Substructural logics ; Halldé ; n completeness

刊名：Fuzzy Sets and Systems

出版年：2016

8.Crystallization assisted microphase separation in all-conjugated phenylene-thiophene diblock copolymers

作者：Hua Yang^a ; ^b ; ^c ; Rui Zhang^a ; Lei Wang^a ; Jidong Zhang^a ; Xinhong Yu^a ; Yanhou Geng^a ; Yanchun Han^a ; ^{ychan@ciac.ac.cn" class="auth_mail" title="E-mail the corresponding author}

关键词：All-conjugated diblock copolymer ; Microphase separation ; Breakout crystallize ; Solvophobic interactions

刊名：Polymer

出版年：2016

9.CyLog/Game aspect: An approach to separation of concerns in crowdsourced data management

作者：Atsuyuki Morishima ; ^{mori@slis.tsukuba.ac.jp" class="auth_mail" title="E-mail the corresponding author} ; Shun Fukusumi ^{shun.fukusumi.2011b@mlab.info" class="auth_mail" title="E-mail the corresponding author} ; Hiroyuki Kitagawa ^{kitagawa@cs.tsukuba.ac.jp" class="auth_mail" title="E-mail the corresponding author}

关键词：Crowdsourcing ; Declarative languages ; Databases ; Separation of concerns

刊名：Information Systems

出版年：2016

10.Counterexamples to countable-section uniformization and separation

作者：Vladimir Kanovei^a ; ^b ; ¹ ; ^{kanovei@googlemail.com" class="auth_mail" title="E-mail the corresponding author} ; Vassily Lyubetsky^a ; ² ; ^{lyubetsk@iitp.ru" class="auth_mail" title="E-mail the corresponding author}

关键词：03E15 ; 03E35 ; 03E20 ; 28A05

刊名：Annals of Pure and Applied Logic

出版年：2016

按检索点细分(382)

题名(26)

关键词(54)

文摘(301)

按出版年细分(382)

2027年及以后(26)

2017年(3)

2016年(20)

2015年(5)

2013年(29)

2012年(32)

2011年(32)

2010年(22)

2009年(22)

2008年(25)

2007年(16)

2006年(24)

2005年(18)

2004年(13)

2003年(13)

2002年(8)

2001年(7)

2000年(9)

2000年及以前(58)