1.Typed lambda-terms in categorical attributed graph transformation

作　　者：Bertrand Boisvert ;Louis Féraud ;Sergei Soloviev

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;56:33-47.doi:10.4204/EPTCS.56.3

出版社：Open Publishing Association

文章 ID：83120188

文章详细全文下载
2.Proof of a Conjecture of S. Mac Lane

作　　者：Sergei Soloviev

出　　处：BRICS Report Series. 1996 ;3(61).

出版社：Aarhus University

文章 ID：101759942

文章详细全文下载
3.A Decision Algorithm for Linear Isomorphism of Types with Complexity Cn(log2(n))

作　　者：Alexander E. Andreev ;Sergei Soloviev

出　　处：BRICS Report Series. 1996 ;3(46).

出版社：Aarhus University

文章 ID：101759982

文章详细全文下载
4.On Isomorphism of Dependent Products in a Typed Logical Framework

作　　者：Sergei Soloviev

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;39:274-287.doi:10.4230/LIPIcs.TYPES.2014.274

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

文章 ID：186847089

文章详细全文下载
5.Attribute Computations in the DPoPb Graph Transformation Engine

作　　者：Hanh Nhi Tran ;Christian Percebois ;Ali Abou Dib 等

出　　处：Electronic Communications of the EASST. 2011 ;32.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185431949

文章详细全文下载
6.A Formal Study of Boolean Games with Random Formulas as Payoff Functions

作　　者：E}rik Martin-Dorel ;Sergei Soloviev

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;97:1-22.doi:10.4230/LIPIcs.TYPES.2016.14

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

文章 ID：230213698

文章详细全文下载

	德国	3篇
	丹麦	2篇
	澳大利亚	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Sergei Soloviev")))) )) ) )"

	Sergei Soloviev	6篇
	Louis Féraud	2篇
	Alexander E. Andreev	1篇
	Ali Abou Dib	1篇
	Bertrand Boisvert	1篇

	Christian Percebois	1篇
	E}rik Martin-Dorel	1篇
	Hanh Nhi Tran	1篇

	BRICS Report Series	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Electronic Communications of the EASST	1篇
	Electronic Proceedings in Theoretical Computer Science	1篇

	2018	1篇
	2015	1篇
	2011	2篇
	1996	2篇