停止战争！

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

对于科学家来说：

默认搜索操作

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

问别人

阿内拉·洛里奇

>主页 >珀森斯

人员信息

附属： 奥地利维也纳TU Wien

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BernreiterLMW24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BernreiterLMW24
迈克尔·伯恩雷特,阿内拉·洛里奇,简·马利,斯特凡·沃尔特兰:
选择逻辑的顺序演算。 J.汽车。原因。 68(2):8(2024)
2023
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BaazL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BaazL23
马提亚斯·巴兹,阿内拉·洛里奇:
有效的Skolemization。沃尔利克 2023:69-82
2022
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/iandc/BaazL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/BazL22
马提亚斯·巴兹,阿内拉·洛里奇:
量词宏的证明理论。 Inf.计算。 287:104753(2022)
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BernreiterLMW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BernreiterLMW22
迈克尔·伯恩雷特,阿内拉·洛里奇,简·马利,斯特凡·沃尔特兰:
选择逻辑的顺序演算。国际JCAR 2022:331-349
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/BaazL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/BaazL22
马提亚斯·巴兹,阿内拉·洛里奇:
Andrews Skolemization可能会非本质地缩短分辨率证明。 LFCS公司 2022:9-24
2021
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/CernaLL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/CernaLL21
大卫·M·塞尔纳,亚历山大·莱奇,阿内拉·洛里奇:
公式示意图的示意图。 J.汽车。原因。 65(5):599-645(2021)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/BaazL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BaazL21
马提亚斯·巴兹,阿内拉·洛里奇:
汉金量词的证明理论。 J.日志。计算。 31(1):40-66(2021)
2020
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BaazLL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BaazLL20
马提亚斯·巴兹,亚历山大·莱奇,阿内拉·洛里奇:
第一个ε定理的抽象形式。 J.日志。计算。 30(8):1447-1468(2020)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/BazL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BaazL20
马提亚斯·巴兹,阿内拉·洛里奇:
由命题插值导出的一阶插值。西奥。计算。科学。 837:209-222(2020)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/BaazL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/BaazL20
马提亚斯·巴兹,阿内拉·洛里奇:
亨金量词的全球健全分析演算。 LFCS公司 2020:128-143
【c5】
- 看法
  - 电子版@jku.at（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/unif/CernaLL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/unif/CernaLL20
大卫·M·塞尔纳,亚历山大·莱奇,阿内拉·洛里奇:
关于术语图式的统一。联合国国际金融中心 2020:6:1-6:6

2010 – 2019

请参阅常见问题解答

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

2019
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/LeitschL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/LeitschL19
亚历山大·莱奇,阿内拉·洛里奇:
扩张树的提取。 J.汽车。原因。 62(三):393-430(2019)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/BaazL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/BaazL19
马提亚斯·巴兹,阿内拉·洛里奇:
关于量词宏的全局声音分析演算的注释。沃尔利克 2019:486-497
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1902-08055
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1902-08055
大卫·M·塞尔纳,亚历山大·莱奇,阿内拉·洛里奇:
公式示意图的示意图。 CoRR公司 abs/1902.08055(2019)
2018
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/BaazLL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/BaazLL18
马提亚斯·巴兹,亚历山大·莱奇,阿妮拉·洛利克:
基于序贯演算的扩展第一Epsilon定理公式。 LFCS公司 2018:55-71
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BazL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BazL18
马提亚斯·巴兹,阿内拉·洛里奇:
林登插值适用于哥德尔逻辑的Prenex⊃Prenex片段。 LPAR公司 2018:95-110
2017
[c1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/BazL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/BaazL17
马提亚斯·巴兹,阿内拉·洛里奇:
由命题插值导出的非经典逻辑的一阶插值。 FroCoS公司 2017:265-280

服务

管理网站设置

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