1.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Benjamin S. Lerner ;Rastislav Bod{'i}k ;Shriram Krishnamurthi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;136:1-8.doi:10.4230/LIPIcs.SNAPL.2019.0

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

文章 ID：238892065

文章详细全文下载
2.The Next 700 Semantics: A Research Challenge

作　　者：Shriram Krishnamurthi ;Benjamin S. Lerner ;Liam Elberty

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;136:1-14.doi:10.4230/LIPIcs.SNAPL.2019.9

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

文章 ID：238892074

文章详细全文下载
3.Title, Table of Contents, Preface, List of Authors

作　　者：Thomas Ball ;Rastislav Bodík ;Shriram Krishnamurthi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;32:i-xiv.doi:10.4230/LIPIcs.SNAPL.2015.i

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

文章 ID：186846730

文章详细全文下载
4.Front Matter, Table of Contents, Preface

作　　者：Benjamin S. Lerner ;Rastislav Bod{\'i}k ;Shriram Krishnamurthi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;71:0:i-0:viii.doi:10.4230/LIPIcs.SNAPL.2017.0

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

文章 ID：193875245

文章详细全文下载
5.Front Matter, Table of Contents, Preface, List of Authors

作　　者：Shriram Krishnamurthi ;Benjamin S. Lerner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;56:0:i-0:xiv.doi:10.4230/LIPIcs.ECOOP.2016.0

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

文章 ID：186847532

文章详细全文下载

	Benjamin S. Lerner	5篇
	Shriram Krishnamurthi	5篇
	Greg Morriset	1篇
	Liam Elberty	1篇
	Rastislav Bodík	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Benjamin S. Lerner")))) )) ) )"

	Rastislav Bod{'i}k	1篇
	Rastislav Bod{\'i}k	1篇
	Thomas Ball	1篇

	2019	2篇
	2017	1篇
	2016	1篇
	2015	1篇