1.Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents

作　　者：Tim Lyon ;Alwen Tiu ;Rajeev Gor 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-16.doi:10.4230/LIPIcs.CSL.2020.28

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：243494229

文章详细全文下载
2.A large-scale study reveals 24-h operational rhythms in hospital treatment

作　　者：Jrmy Dubut ;Minchao Wu ;Rajeev Gor 等

出　　处：Proceedings of the National Academy of Sciences. 2019 ;116(42):20953-20958.doi:10.1073/pnas.1909557116

出版社：The National Academy of Sciences of the United States of America

文章 ID：239774967

文章详细全文下载
3.Verified Decision Procedures for Modal Logics

作　　者：Minchao Wu ;Rajeev Gor

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-19.doi:10.4230/LIPIcs.ITP.2019.31

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：240116688

文章详细全文下载
4.Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic

作　　者：Ranald Clouston ;Jeremy Dawson ;Rajeev Gor{\'e 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:197-214.doi:10.4230/LIPIcs.CSL.2013.197

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846339

文章详细全文下载

	Rajeev Gor	3篇
	Alwen Tiu	2篇
	Minchao Wu	2篇
	Ranald Clouston	2篇
	Henrik Rostedt	1篇

	Jeremy Dawson	1篇
	Johannes Åman Pohjola	1篇
	Jonas Bayer	1篇
	Jrmy Dubut	1篇
	Magnus O. Myreen	1篇
	Marco David	1篇
	Rajeev Gor{\'e	1篇
	Tim Lyon	1篇

	计算技术、计算机技术	3篇
	自然科学总论	1篇

	德国	3篇
	美国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Rajeev Gor")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Proceedings of the National Academy of Sciences	1篇

	2020	1篇
	2019	2篇
	2013	1篇