1.Strategies in PRholog

作　　者：Besik Dundua ;Temur Kutsia ;Mircea Marin

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;15:32-43.doi:10.4204/EPTCS.15.3

出版社：Open Publishing Association

文章 ID：83119808

文章详细全文下载
2.On the Development of an Analysis System for Upstream Sequences in Dictyostelium discoideum Genome

作　　者：Norio Kobayashi ;Mircea Marin ;Yoshimasa Tanaka 等

出　　处：Information and Media Technologies. 2006 ;1(2):742-747.doi:10.11185/imt.1.742

出版社：Information and Media Technologies Editorial Board

文章 ID：103885350

文章详细全文下载
3.Constraint Solving over Multiple Similarity Relations

作　　者：Besik Dundua ;Temur Kutsia ;Mircea Marin 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:30:1-30:19.doi:10.4230/LIPIcs.FSCD.2020.30

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

文章 ID：255823207

文章详细全文下载
4.Order-Sorted Unification with Regular Expression Sorts

作　　者：Temur Kutsia ;Mircea Marin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:193-208.doi:10.4230/LIPIcs.RTA.2010.193

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

文章 ID：186845699

文章详细全文下载
5.REGULAR MATCHING PROBLEMS FOR INFINITE TREES

作　　者：Carlos Camino ;Volker Diekert ;Besik Dundua 等

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-38.doi:10.46298/lmcs-18(1:25)2022

出版社：Technical University of Braunschweig

文章 ID：1038046928

文章详细

	有本地全文	4篇
	有全文链接	1篇

	Mircea Marin	5篇
	Besik Dundua	3篇
	Temur Kutsia	3篇
	Carlos Camino	1篇
	Cleopatra Pau	1篇

	Géraud Sénizergues	1篇
	Hideko Urushihara	1篇
	Norio Kobayashi	1篇
	Volker Diekert	1篇
	Yoshimasa Tanaka	1篇

	计算技术、计算机技术	4篇
	信息与知识传播	1篇

	英文	4篇
	日文	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Mircea Marin")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Information and Media Technologies	1篇
	Logical Methods in Computer Science	1篇

	2022	1篇
	2020	1篇
	2010	1篇
	2009	1篇
	2006	1篇

	德国	3篇
	日本	1篇
	澳大利亚	1篇