停止战争！

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

对于科学家：

默认搜索操作

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

问别人

LFCS 2022：美国佛罗里达州迪尔菲尔德海滩

>主页 >会议和研讨会 >线性调频控制系统

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/2022
谢尔盖·阿尔特莫夫,阿尼尔·尼罗德:
计算机科学的逻辑基础-国际研讨会，LFCS 2022，美国佛罗里达州迪尔菲尔德海滩，2022年1月10日至13日，会议记录。计算机科学课堂讲稿13137,施普林格 2022，国际标准图书编号978-3-030-93099-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/AguileraBF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/AguileraBF22
胡安·阿奎莱拉,简·比佐夫斯基,大卫·费尔南德斯·杜克:
非超几何哥德尔逻辑。 1-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/BaazL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/BaazL22
马提亚斯·巴兹,阿内拉·洛里奇:
Andrews Skolemization可能会非本质地缩短分辨率证明。 9-24
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/CenzerK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/CenzerK22
道格拉斯·森泽,理查德·克罗格曼:
FST注入结构的同构问题。 25-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/DeBoer22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/DeBoer22
尼尔·J·德波尔:
证明逻辑和类型理论是直觉命题逻辑的形式化。 37-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/Fernandez-Duque22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Fernandez-Duque22
大卫·费尔南德斯·杜克,康斯特纳蒂诺斯·帕帕菲利波,乔斯特·J·乔斯顿:
超算术蠕虫大战。 52-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/Forster22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Forster网站22
扬尼克·福斯特:
参数教会的论文：没有选择的综合可计算性。 70-89
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/HagemeierK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/HagemeierK22
克里斯蒂安·哈格梅尔,多米尼克·柯斯特:
直觉认识逻辑的建构性和机械化元理论。 90-111
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/Kjos-HanssenNY22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Kjos-HanssenNY22
比约恩·科霍斯·汉森,萨罗伊·尼劳拉,Soowhan Yoon先生:
Tversky度量的参数化系列将Jaccard距离连接到标准化信息距离的模拟。 112-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/KontineMM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/KontineMM22
朱哈·孔廷宁,阿恩·迈尔,亚西尔·马赫穆德:
依赖逻辑复杂性的参数化视图。 125-142
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/LehnherrOS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/LehnherrOS22
大卫·莱恩赫尔,佐兰·奥格尼亚诺维奇,托马斯·斯图德:
互动证明的逻辑。 143-155
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/LiuS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/LiuS22
杨红A.刘,斯科特·斯托勒:
带聚合的递归规则：一个简单的统一语义。 156-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/MarcelinoCF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/MarcelinoCF22
塞尔吉奥·马塞利诺,卡洛斯·卡莱罗,佩德罗·菲利佩:
部分非确定性矩阵的计算性质及其逻辑。 180-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/Moore22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Moore22
埃因·摩尔:
LEA和概率语义的正确性和完整性结果。 198-216
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/MotouraK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/MotouraK22
本浦昭太,Shin-ya胜本:
论动态认识逻辑中的逆算子。 217-235
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/NormannS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/NormannS22
达格·诺曼,萨姆·桑德斯:
图灵和克莱恩之间。 236-252
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/Petrakis22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Petrakis22
伊奥西夫·佩特拉基斯:
类别和预升的可计算性模型。 253-265
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/Rogozin22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Rogozin22
丹尼尔·罗戈津:
关系代数的约简：公理化和有限表示的方面。 266-280
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/桑德斯22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Sanders22
萨姆·桑德斯:
在图灵和克莱恩之间。 281-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/Sedlar22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Sedlar22
伊戈尔·塞德拉尔:
正则计算序列上带量化的命题动态逻辑。 301-315
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/Statman22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Statman22
瑞克·斯塔特曼:
Lambda微积分和组合逻辑的有限生成和表示问题。 316-326
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/SubramaniW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/SubramaniW22
K.Subramani公司,彼得·沃伊切霍夫斯基:
Horn约束系统中读一次拒绝的精确和参数化算法。 327-345
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/TrottaSP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/TrottaSP22
大卫·特罗塔,马特奥·斯帕德托,瓦莱丽亚·德佩瓦:
辩证逻辑原则。 346-363
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/Zielenkiewicz22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/Zielenkiewicz22
马西耶·齐埃连凯维奇:
小模型属性反映在游戏和自动化中。 364-375

服务

管理网站设置

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