停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

曼纽尔·马丁斯0001

曼努埃尔·安东尼奥·马丁斯

>主页 >珀森斯

人员信息

附属： 葡萄牙阿维罗大学数学系

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fss/CamposSMF23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fss/CamposSMF23
苏恩·坎波斯,Regivan H.N.圣地亚哥,曼纽尔·马丁斯,丹尼尔·菲格雷多:
反转模糊切换图的基于聚合的操作。模糊集系统。 466:108273(2023)
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlap/CostaFM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlap/CostaFM23
戴安娜·科斯塔,丹尼尔·菲格雷多,曼纽尔·马丁斯:
关系变化模型满足准一致性。 J.日志。代数方法程序。 133:100870(2023)
【j30】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/Martins23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/MartinsS23
曼纽尔·马丁斯,伊戈尔·塞德拉尔:
社论：第三届动态逻辑国际研讨会特刊：新趋势与应用（DaLí2020）。 J.日志。计算。 33(6):1119-1121(2023)
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wadt/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wadt/2022
亚历山大·马德拉,曼纽尔·马丁斯:
代数发展技术的最新趋势——第26届IFIP工作组1.3国际研讨会，WADT 2022，葡萄牙阿韦罗，2022年6月28日至30日，修订论文集。计算机科学课堂讲稿13710,施普林格 2023，国际标准图书编号978-3-031-43344-3 [目录]
2022
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/BlackburnMMH22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/BlackburnMMH22
帕特里克·布莱克本,曼纽尔·马丁斯,玛丽亚·曼扎诺,安东尼娅·韦尔塔斯:
驱散幻影区。 Inf.计算。 287:104754(2022)
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlap/BenevidesMM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlap/BenevisesMM22
马里奥·罗伯托·福尔哈德拉（Mario Roberto Folhadela Benevides）,亚历山大·马德拉,曼纽尔·马丁斯:
分级认知逻辑与公告。 J.日志。代数方法程序。 125:100732(2022)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/CamposSMF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/CamposSMF22
苏恩·坎波斯,Regivan H.N.圣地亚哥,曼纽尔·马丁斯,丹尼尔·菲格雷多:
反转模糊开关图简介。科学。计算。程序。 216:102776(2022)
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dali/BedregalSMM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dali/BedregalSMM22
本杰明·R·C·贝德雷加,Regivan H.N.圣地亚哥,亚历山大·马德拉,曼纽尔·马丁斯:
将Kleene代数与伪单范数联系起来。 DaLí 2022:37-55
2021
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlap/CostaM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlap/CostaM21
戴安娜·科斯塔,曼纽尔·马丁斯:
非对偶模态算子是混合逻辑中四值可及性关系的基础。 J.日志。代数方法程序。 121:100679(2021)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/soco/VelozCM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/soco/VelozCM21
托马斯·维洛兹,Madalena Chaves公司,曼努埃尔·安东尼奥·马丁斯:
专题“分子逻辑与计算合成生物学国际研讨会：MLCSB18”。软计算。 25(9):6729-6730(2021)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/soco/SantiagoMF21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/soc/SantiagoMF21
Regivan H.N.圣地亚哥,曼纽尔·马丁斯,丹尼尔·菲格雷多:
引入模糊反应图：一个在生物学上的简单应用。软计算。 25(9):6759-6774(2021)
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsen/BenevidesMM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsen/BenevidesMM21
马里奥·R·F·贝内维提斯,亚历山大·马德拉,曼纽尔·马丁斯:
用结构化知识为认识逻辑增加证明演算。 FSEN公司 2021:53-68
2020
[公元23年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/nc/ChavesFM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/nc/ChavesFM20
Madalena Chaves公司,丹尼尔·菲格雷多,曼纽尔·马丁斯:
通过反馈互联重新审视布尔动力学。自然计算。 19(1):29-49(2020)
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sbmf/CamposSMF20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sbmf/CamposSMF20
苏恩·坎波斯,Regivan H.N.圣地亚哥,曼纽尔·马丁斯,丹尼尔·菲格雷多:
反向模糊开关图。 SBMF公司 2020:137-154
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dali/2020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dali/2020
曼纽尔·马丁斯,伊戈尔·塞德拉:
动态逻辑。新趋势和应用——第三次国际研讨会，2020年10月9日至10日，捷克共和国布拉格，达赖2020，修订论文集。计算机科学课堂讲稿12569,施普林格 2020，国际标准图书编号978-3-030-65839-7 [目录]

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元22年]
- 看法
  - 电子版@collegepublications.co.uk（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/襟翼/CostaMM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/flop/CostaMM19
戴安娜·科斯塔,曼纽尔·马丁斯,乔·马科斯:
关于混合逻辑的Herbrand定理。拍打 6(2):209-228(2019)
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sLogica/ManzanoMH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/Logica/ManzanoMH19
玛丽亚·曼扎诺,曼纽尔·马丁斯,安东尼娅·韦尔塔斯:
等式混合命题类型理论的完备性。 Stud Logica公司 107(6):1159-1198(2019)
[j20]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/SantiagoBMM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/SantiagoBMM19
里贾万·H·N·圣地亚哥,本杰明·R·C·贝德雷加,亚历山大·马德拉,曼纽尔·马丁斯:
区间动态逻辑：引入拟作用格。科学。计算。程序。 175:1-16(2019)
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hsb/图RMC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hsb/FigueiredoRMC19
丹尼尔·菲格雷多,尤格尼奥·罗查,曼努埃尔·安东尼奥·马丁斯,Madalena Chaves公司:
rPrism-无功加权状态转移模型软件。高铁 2019:165-174
[公元29年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lsfa/JainMM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lsfa/JainMM20
马尼沙·贾因,亚历山大·马德拉,曼纽尔·马丁斯:
模糊过渡系统的模糊模态逻辑。 LSFA公司 2019:85-103
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/CostaM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/CostaM19
戴安娜·科斯塔,曼纽尔·马丁斯:
具有非双模态算子的四值混合逻辑。 DaLí 2019:88-103
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BlackburnMMH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BlackburnMMH19
帕特里克·布莱克本,曼纽尔·马丁斯,玛丽亚·曼扎诺,安东尼娅·韦尔塔斯:
刚性一阶混合逻辑。沃尔利克 2019:53-69
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mlcsb/2018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mlcsb/2018
Madalena Chaves公司,曼纽尔·马丁斯:
分子逻辑和计算合成生物学——第一届国际研讨会，2018年12月17日至18日，智利圣地亚哥，MLCSB 2018，修订论文集。计算机科学课堂讲稿11415,施普林格 2019，国际标准图书编号978-3-030-19431-4 [目录]
2018
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MadeiraBHM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MadeiraBHM18
亚历山大·马德拉,路易斯·索尔斯·巴博萨,罗尔夫·亨尼克,曼努埃尔·A·马丁斯:
反应系统逐步发展的逻辑。西奥。计算。科学。 744:78-96(2018)
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/FigueiredoMB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/FigueiredoMB18
丹尼尔·菲格雷多,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
关于无功转换和Reo连接器的注释。一切都是关于协调 2018:57-67
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/healthcom/CostaM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/health.com/CostaM18
戴安娜·科斯塔,曼纽尔·马丁斯:
测量不一致的诊断。 HealthCom公司 2018:1-4
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MadeiraMB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MadeiraMB19
亚历山大·马德拉,曼努埃尔·A·马丁斯,马里奥·R·F·贝内维提斯:
认知逻辑与结构化知识。 LSFA公司 2018:137-149
2017
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/CostaM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/CostaM17
戴安娜·科斯塔,曼纽尔·马丁斯:
混合逻辑中的超一致性。 J.日志。计算。 27(6):1825-1852(2017)
[c23]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BenevidesMM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BenevidesMM18
马里奥·R·F·贝内维提斯,亚历山大·马德拉,曼纽尔·马丁斯:
等级认识逻辑家族。 LSFA公司 2017:45-59
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MadeiraNMB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MadeiraNMB18
亚历山德拉·马德拉,雷纳托·内维斯,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
层次混合逻辑。 LSFA公司 2017:167-184
2016
[公元17年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/BabenyshevM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/BabenyshevM16
谢尔盖·巴本尼舍夫,曼纽尔·马丁斯:
隐藏k逻辑的行为等价：抽象代数方法。 J.应用。日志。 16:72-91(2016)
[公元16年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/MadeiraNM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/MadeiraNM16
亚历山大·马德拉,雷纳托·内维斯,曼纽尔·马丁斯:
生成多值动态逻辑的练习。 J.日志。代数方法程序。 85(5):1011-1037(2016)
[公元15年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/NevesBHM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/NevesBHM16
雷纳托·内维斯,路易斯·索尔斯·巴博萨,德克·霍夫曼,曼纽尔·马丁斯:
作为计算效果的连续性。 J.日志。代数方法程序。 85(5):1057-1085(2016)
[公元14年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/NevesMMB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/NevesMMB16
雷纳托·内维斯,亚历山大·马德拉,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
混合逻辑的证明理论。科学。计算。程序。 126:73-93(2016)
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/MadeiraNBM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/MadeiraNBM16
亚历山大·马德拉,雷纳托·内维斯,路易斯·索尔斯·巴博萨,曼努埃尔·A·马丁斯:
可重构系统的严格设计方法。科学。计算。程序。 132:50-76(2016)
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CostaM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CostaM16
戴安娜·科斯塔,曼纽尔·马丁斯:
准混合逻辑的Tableau系统。国际JCAR 2016:435-451
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icarsc/CostaM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icarsc/CostaM16
戴安娜·科斯塔,曼纽尔·马丁斯:
基于智能的机器人处理矛盾。 ICARSC公司 2016:199-204
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictac/MadeiraBHM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/MadeiraBHM16
亚历山大·马德拉,路易斯·索尔斯·巴博萨,罗尔夫·亨尼克,曼纽尔·马丁斯:
带绑定器的动态逻辑及其在反应系统开发中的应用。 ICTAC公司 2016:422-440
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sbmf/圣地亚哥BMM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sbmf/SantiagoBMM16
Regivan H.N.圣地亚哥,本杰明·R·C·贝德雷加,亚历山德拉·马德拉,曼纽尔·马丁斯:
论区间动态逻辑。 SBMF公司 2016:129-144
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wadt/NevesMBM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wadt/NevesMBM16
雷纳托·内维斯,亚历山大·马德拉,路易斯·索尔斯·巴博萨,曼纽尔·马丁斯:
逻辑的非对称组合是功能性的：一项调查。 WADT（瓦特） 2016:39-55
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/asc/BarbosaMMN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/asc/BarbosaMMN16
路易斯·苏亚雷斯·巴博萨,曼纽尔·马丁斯,亚历山大·马德拉,雷纳托·内维斯:
规范逻辑的重用和集成：混合视角。理论信息重用与集成 2016:1-30
2015
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/MadeiraMBH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/MadeiraMBH15网站
亚历山大·马德拉,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨,罗尔夫·亨尼克:
混合型机构的完善。形式方面计算。 27(2):375-395(2015)
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/MadeiraMB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MadeiraMB16
亚历山德拉·马德拉,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
用于n维层次细化的逻辑。精炼@FM 2015:40-56
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/NevesBHM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/NevesBHM15
雷纳托·内维斯,路易斯·索尔斯·巴博萨,德克·霍夫曼,曼纽尔·马丁斯:
作为计算效果的连续性。 CoRR公司腹肌/1507.03219(2015)
2014
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/MartinsMB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MartinsMB13
曼纽尔·马丁斯,亚历山大·马德拉,路易斯·索尔斯·巴博萨:
逻辑解释在程序开发中的作用。日志。方法计算。科学。 10(1)(2014)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jolli/BarbosaMC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jolli/BarbosaMC14
路易斯·索尔斯·巴博萨,曼纽尔·马丁斯,玛尔塔·卡雷泰罗:
等式混合逻辑的Hilbert式公理化。 J.日志。语言信息。 23(1):31-52(2014)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BabenyshevM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BabenyshevM14网址
谢尔盖·巴本尼舍夫,曼纽尔·马丁斯:
隐式演绎分离定理k个-逻辑。 J.日志。计算。 24(1):233-255(2014)
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/healthcom/CostaM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/health.com/CostaM14
戴安娜·科斯塔,曼纽尔·马丁斯:
卫生保健知识不一致。 Healthcom公司 2014:37-42
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iri/MartinsMBN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iri/MartinsMBN14
曼纽尔·马丁斯,亚历山大·马德拉,路易斯·索尔斯·巴博萨,雷纳托·内维斯:
规范课程中的范式整合。爱尔兰共和国 2014:492-499
[c13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sbmf/马德拉NMB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sbmf/MadeiraNMB14网址
亚历山大·马德拉,雷纳托·内维斯,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
每个季节的动态逻辑。 SBMF公司 2014:130-145
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sbmf/内维斯MB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sbmf/NevesMB14
雷纳托·内维斯,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
混合逻辑的完整性和可决定性结果。 SBMF公司 2014:146-161
2013
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/MartinsV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/MartinsV13
曼努埃尔·安东尼奥·马丁斯,乔治·沃萨达基斯:
马林诺夫斯基模型化、通过纤维化的模型化和莱布尼茨层次结构。日志。J.IGPL公司 21(5):836-852(2013)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/HofmannM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/HofmannM13
德克·霍夫曼,曼纽尔·马丁斯:
关于逻辑的联合观点。 J.日志。计算。 23(5):1097-1106(2013)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sLogica/MartinsMB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sLogica/MartinsMB13
曼纽尔·马丁斯,亚历山大·马德拉,路易斯·索尔斯·巴博萨:
逻辑解释的协同代数视角。 Stud Logica公司 101(4):783-825(2013)
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/NevesMMB13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/NevesMMB13网址
雷纳托·内维斯,亚历山大·马德拉,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
工作中的混合。 CALCO公司 2013:340-345
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iri/NevesMMB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iri/NevesMMB13
雷纳托·内维斯,亚历山大·马德拉,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
合金学会及其对二阶逻辑的翻译。 IRI（最佳论文） 2013:45-75
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iri/NevesMM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iri/NevesMM13
雷纳托·内维斯,亚历山大·马德拉,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
给阿洛伊一个家。爱尔兰共和国 2013:512-519
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sblp/马德拉MB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sblp/MadeiraMB13
亚历山大·马德拉,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
可重构系统的模板：一种语言及其语义。 SBLP公司 2013:75-89
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tase/MadeiraNMB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/MadeiraNMB13
亚历山大·马德拉,雷纳托·内维斯,曼努埃尔·A·马丁斯,路易斯·索尔斯·巴博萨:
甚至当界面发生变化时。。。 TASE公司 2013:79-82
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1305-6115
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1305-6115
亚历山大·马德拉,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
混合逻辑的相似性和精化。优化@IFM 2013:84-98
2012
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1202-0915
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1202-0915
德克·霍夫曼,曼纽尔·马丁斯:
关于逻辑的联合观点。 CoRR公司 abs/1202.0915(2012)
2011
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/MartinsMDB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/MartinsMDB11
曼纽尔·马丁斯,亚历山大·马德拉,拉兹万·迪亚康内斯库,路易斯·索尔斯·巴博萨:
制度的混合。 CALCO公司 2011:283-297
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/马德拉FMB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/马德拉FMB11
亚历山大·马德拉,何塞·M·法里亚,曼纽尔·马丁斯,路易斯·索尔斯·巴博萨:
反应系统的混合规范：制度方法。 SEFM公司 2011:269-285
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1106-4093
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1106-4093
塞萨尔·耶稣·罗德里格斯,曼纽尔·马丁斯,亚历山大·马德拉,路易斯·索尔斯·巴博萨:
通过π-机构中的解释进行细化。精炼@FM 2011:53-64

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sLogica/CaleiroGM09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sLogica/CaleiroGM09
卡洛斯·卡莱罗,里卡多·贡萨尔维斯,曼纽尔·马丁斯:
逻辑的行为代数化。 Stud Logica公司 91(1):63-111(2009)
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/MartinsMB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/MartinsMB09
曼纽尔·马丁斯,亚历山大·马德拉,路易斯·索尔斯·巴博萨:
通过解释进行细化。 SEFM公司 2009:250-259
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MartinsMB09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MartinsMB09
曼纽尔·马丁斯,亚历山大·马德拉,路易斯·索尔斯·巴博萨:
在一般情况下通过解释进行提炼。炼油@FMWeek 2009:105-121
2008
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cj/Martins08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cj/Martins08网站
曼纽尔·马丁斯:
关于两者之间的行为等效性k个-数据结构。计算。J。 51(2):181-191(2008)
2007
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/MartinsP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mcs/MartinsP07
曼纽尔·马丁斯,唐·皮戈齐:
条件方程的行为推理。数学。结构。计算。科学。 17(5):1075-1113(2007)
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/Martins07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Martins07网址
曼纽尔·马丁斯:
行为模型类的闭包属性。西奥。计算。科学。 379(1-2):53-83(2007)
2006
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jucs/Martins06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jucs/Martins06网址
曼纽尔·马丁斯:
广义隐逻辑中的行为制度和精化。 J.大学。计算。科学。 12(8):1020-1049(2006)

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。