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

作　　者：Maribel Fern{'a}ndez ;Anca Muscholl

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-18.doi:10.4230/LIPIcs.CSL.2020.0

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

文章 ID：243494201

文章详细全文下载
2.Fixed-Point Constraints for Nominal Equational Unification

作　　者：Mauricio Ayala-Rinc{\'o}n ;Maribel Fern{\'a}ndez ;Daniele Nantes-Sobrinho

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:7:1-7:16.doi:10.4230/LIPIcs.FSCD.2018.7

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

文章 ID：220014765

文章详细
3.Dependent Types for Nominal Terms with Atom Substitutions

作　　者：Elliot Fairweather ;Maribel Fern{\'a}ndez ;Nora Szasz 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:180-195.doi:10.4230/LIPIcs.TLCA.2015.180

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

文章 ID：186846864

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

作　　者：Maribel Fern{\'a}ndez

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

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

文章 ID：186846875

文章详细
5.Nominal Narrowing

作　　者：Mauricio Ayala-Rinc{\'o}n ;Maribel Fern{\'a}ndez ;Daniele Nantes-Sobrinho

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:11:1-11:17.doi:10.4230/LIPIcs.FSCD.2016.11

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

文章 ID：186847443

文章详细全文下载

	有本地全文	3篇
	有全文链接	2篇

	Maribel Fern{\'a}ndez	4篇
	Daniele Nantes-Sobrinho	2篇
	Mauricio Ayala-Rinc{\'o}n	2篇
	Alvaro Tasistro	1篇
	Anca Muscholl	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Maribel Fern{ a}ndez")))) )) ) )"

	Elliot Fairweather	1篇
	Maribel Fern{'a}ndez	1篇
	Nora Szasz	1篇

	2020	1篇
	2018	1篇
	2016	1篇
	2015	2篇