玛丽莎·纳瓦罗
人员信息
优化列表
2020年–今天
2021 [公元10年] 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 , 埃尔维拉·皮诺 , 利恩·兰伯斯 :
用于推理图形属性的导航逻辑。 J.日志。 代数方法课程。 118 : 100616 ( 2021 ) 2020 [第16条] 费尔南多·奥雷贾斯 , 埃尔维拉·皮诺 , 玛丽莎·纳瓦罗 :
使用三重图语法的增量并发模型同步。 FASE公司 2020 : 273-293
2010 – 2019
2018 [公元9年] 费尔南多·奥雷贾斯 , 埃尔维拉·皮诺 , 玛丽莎·纳瓦罗 , 利恩·兰伯斯 :
图形结构导航逻辑机构。 西奥。 计算。 科学。 741 : 19-24 ( 2018 ) [第15条] 利恩·兰伯斯 , 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 , 埃尔维拉·皮诺 :
图形结构的导航逻辑。 图形转换、规范和网络 2018 : 124-141 2015 [第14条] 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 , 埃尔维拉·皮诺 :
XML文档约束规范的可满足性。 逻辑、重写和并发 2015 : 539-561 [电子3] 玛丽莎·纳瓦罗 :
第十五届Jornadas sobre Programación y Lenguajes,PROLE 2015,西班牙桑坦德,2015年9月15-17日。 EPTCS系统 200, 2015 [目录] 2014 [第13条] 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 :
证明XML文档约束规范可满足性的反驳过程。 SCSS系统 2014 : 47-61 [第12条] 哈维尔·阿尔博斯 , 玛丽莎·纳瓦罗 :
SpecSatisfilityTool:用于测试XML文档规范的可满足性的工具。 PROLE公司 2014 : 27-40 2013 [j8] 何塞·甘扎兰 , 蒙特塞拉特·赫莫 , 帕基·卢西奥 , 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 :
无不变量子句时间分辨率。 J.汽车。 原因。 50 ( 1 ) : 1-49 ( 2013 ) 2012 [j7] 爱德米拉·帕萨雷拉 , 费尔南多·奥雷贾斯 , 埃尔维拉·皮诺 , 玛丽莎·纳瓦罗 :
结构化正常逻辑程序的语义。 J.日志。 代数方法课程。 81 ( 5 ) : 559-584 ( 2012 ) 2010 [j6] 乔克斯·甘扎兰 , 蒙特塞拉特·赫莫 , 帕基·卢西奥 , 玛丽莎·纳瓦罗 :
将Horn子句的命题扩展连词翻译成布尔回路。 西奥。 计算。 科学。 411 ( 16-18 ) : 1723-1733 ( 2010 )
2000 – 2009
2009 [j5] 乔克斯·甘扎兰 , 蒙特塞拉特·赫莫 , 帕基·卢西奥 , 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 :
PLTL的Tableaux和序列双重系统。 J.日志。 代数方法课程。 78 ( 8 ) : 701-722 ( 2009 ) 2007 [第11条] 乔克斯·甘扎兰 , 蒙特塞拉特·赫莫 , 帕基·卢西奥 , 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 :
PLTL的无割和无不变序贯演算。 CSL公司 2007 : 481-495 [第10条] 乔克斯·甘扎兰 , 蒙特塞拉特·赫莫 , 帕奎·卢西奥 , 玛丽莎·纳瓦罗 :
PLTL系统语义表。 PROLE公司 2007 : 59-73 2005 【c9】 爱德米拉·帕萨雷拉 , 费尔南多·奥雷贾斯 , 埃尔维拉·皮诺 , 玛丽莎·纳瓦罗 :
正常逻辑程序静态嵌入含义的转换语义。 洛普斯特 2005 : 133-146 【c8】 乔克斯·甘扎兰 , 蒙特塞拉特·赫莫 , 玛丽莎·纳瓦罗 :
命题角语言的目标是单音布尔电路。 MFCS公司 2005 : 376-386
1990 – 1999
1999 [c7] 罗莎·阿鲁阿巴雷纳 , 帕基·卢西奥 , 玛丽莎·纳瓦罗 :
静态嵌入含义的强大逻辑编程视图。 FoSSaCS公司 1999 : 56-72 1997 [电子2] 莫雷诺·法拉斯基 , 玛丽莎·纳瓦罗 , 阿尔贝托·波利克里蒂 :
1997年声明性编程联合会议,APPIA-GULP-PRODE’97,意大利格拉多,1997年6月16-19日。 1997 [目录] 1996 【j4】 费尔南多·奥雷贾斯 , 玛丽莎·纳瓦罗 , 安娜·桑切斯 :
抽象数据类型的代数实现:概念和新组成结果综述。 数学。 结构。 计算。 科学。 6 ( 1 ) : 33-67 ( 1996 ) 【c6】 罗莎·阿鲁阿巴雷纳 , 玛丽莎·纳瓦罗 :
关于支持程序结构的扩展逻辑语言。 APPIA-GULP-PRODE公司 1996 : 191-206 [e1] 帕基·卢西奥 , 毛里齐奥·马泰利 , 玛丽莎·纳瓦罗 :
1996年7月15日至18日,西班牙多诺斯蒂亚·圣塞巴斯蒂安,APPIA-GULP-PRODE’96,声明性编程联合会议。 1996 [目录] 1995 [j3] 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 , 安娜·桑切斯 :
关于模块化系统的正确性。 西奥。 计算。 科学。 140 ( 1 ) : 139-177 ( 1995 ) 1993 [注2] 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 , 珍妮·卢克·雷米 :
上下文改写作为条件日志规范的一种可靠和完整的证明方法。 信息学报 30 ( 2 ) : 147-180 ( 1993 ) [j1] 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 , 安娜·桑切斯 :
以困惑为特征。 牛市。 EATCS公司 49 : 103-110 ( 1993 ) 【c5】 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 , 安娜·桑切斯 :
关于模块化系统的正确性。 AMAST公司 1993 : 209-216 1991 【c4】 费尔南多·奥雷贾斯 , 玛丽莎·纳瓦罗 , 安娜·桑切斯 :
实施与行为等效:一项调查。 罗盘/ADT 1991 : 93-125
1980 – 1989
1988 【c3】 费尔南多·奥雷贾斯 , 安娜·桑切斯 , 玛丽莎·纳瓦罗 , 皮拉尔·尼维拉 , 里卡多·佩纳 :
部分规范的术语重写方法。 ADT公司 1988 1987 【c2】 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 :
参数化Horn子句规范:证明理论和正确性。 TAPSOFT,第1卷 1987 : 202-216 1984 【c1】 玛丽莎·纳瓦罗 , 费尔南多·奥雷贾斯 :
条件项重写系统上分层重写与非分层重写的等价性。 欧洲萨姆人 1984 : 74-85