1.Trees over Infinite Structures and Path Logics with Synchronization

作　　者：Alex Spelten ;Wolfgang Thomas ;Sarah Winter

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;73:20-34.doi:10.4204/EPTCS.73.5

出版社：Open Publishing Association

文章 ID：83120362

文章详细全文下载
2.Uniformization Problems for Synchronizations of Automatic Relations on Words

作　　者：Sarah Winter

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:142:1-142:13.doi:10.4230/LIPIcs.ICALP.2018.142

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

文章 ID：220014933

文章详细
3.Synthesis from Weighted Specifications with Partial Domains over Finite Words

作　　者：Emmanuel Filiot ;Löding, Christof ;Sarah Winter

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-16.doi:10.4230/LIPIcs.FSTTCS.2020.46

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

文章 ID：257805116

文章详细全文下载
4.Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers

作　　者：Christof L{\"o}ding ;Sarah Winter

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:65:1-65:14.doi:10.4230/LIPIcs.MFCS.2016.65

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

文章 ID：186847892

文章详细全文下载
5.On Equivalence and Uniformisation Problems for Finite Transducers

作　　者：Emmanuel Filiot ;Isma{\"e}l Jecker ;Christof L{\"o}ding 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:125:1-125:14.doi:10.4230/LIPIcs.ICALP.2016.125

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

文章 ID：186847722

文章详细全文下载

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

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Sarah Winter")))) )) ) )"

	Sarah Winter	5篇
	Christof L{\"o}ding	2篇
	Emmanuel Filiot	2篇
	Alex Spelten	1篇
	Isma{\"e}l Jecker	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Electronic Proceedings in Theoretical Computer Science	1篇

	2020	1篇
	2018	1篇
	2016	2篇
	2011	1篇

	Löding, Christof	1篇
	Wolfgang Thomas	1篇