1.Variations on Inductive-Recursive Definitions

作　　者：Neil Ghani ;Conor McBride ;Fredrik Nordvall Forsberg 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:63:1-63:13.doi:10.4230/LIPIcs.MFCS.2017.63

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

文章 ID：205510114

文章详细全文下载
2.Extracting verified decision procedures: DPLL and Resolution

作　　者：Ulrich Berger ;Andrew Lawrence ;Fredrik Nordvall Forsberg 等

出　　处：Logical Methods in Computer Science. 2015 ;11(1):1.doi:10.2168/LMCS-11(1:6)2015

出版社：Technical University of Braunschweig

文章 ID：264692250

文章详细全文下载
3.Positive Inductive-Recursive Definitions

作　　者：Neil Ghani ;Fredrik Nordvall Forsberg ;Lorenzo Malatesta

出　　处：Logical Methods in Computer Science. 2015 ;11(1):1.doi:10.2168/LMCS-11(1:13)2015

出版社：Technical University of Braunschweig

文章 ID：264692262

文章详细全文下载
4.Models for Polymorphism over Physical Dimension

作　　者：Robert Atkey ;Neil Ghani ;Fredrik Nordvall Forsberg 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:45-59.doi:10.4230/LIPIcs.TLCA.2015.45

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

文章 ID：186846855

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

作　　者：Andreas Abel ;Fredrik Nordvall Forsberg ;Ambrus Kaposi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;104:i-x.doi:10.4230/LIPIcs.TYPES.2017.0

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

文章 ID：230438728

文章详细全文下载

	Conor McBride	1篇
	Lorenzo Malatesta	1篇
	Monika Seisenberger	1篇
	Robert Atkey	1篇
	Sam Staton	1篇
	Stephan Spahn	1篇
	Timothy Revell	1篇
	Ulrich Berger	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Fredrik Nordvall Forsberg")))) )) ) )"

	Fredrik Nordvall Forsberg	5篇
	Neil Ghani	3篇
	Ambrus Kaposi	1篇
	Andreas Abel	1篇
	Andrew Lawrence	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Logical Methods in Computer Science	2篇

	2018	1篇
	2017	1篇
	2015	3篇