先进制造业知识服务平台
国家科技图书文献中心机械分馆 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台
主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
Logical Foundations of Computer Science
会议名
2022 International Symposium on Logical Foundations of Computer Science (LFCS 2022)
中译名
《2022年国际计算机科学的逻辑基础专题讨论会》
机构
U.S. National Science Foundation
会议日期
January 10-13, 2022
会议地点
Deerfield Beach, FL, USA
出版年
2022
馆藏号
341565
题名
作者
出版年
A Non-hyperarithmetical Godel Logic
Juan Pablo Aguilera; Jan Bydzovsky; David Fernandez-Duque
2022
Andrews Skolemization May Shorten Resolution Proofs Non-elementarily
Matthias Baaz; Anela Lolic
2022
The Isomorphism Problem for FST Injection Structures
Douglas Cenzer; Richard Krogman
2022
Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic
Neil J. DeBoer
2022
Hyperarithmetical Worm Battles
David Fernandez-Duque; Konstnatinos Papafilippou; Joost J. Joosten
2022
Parametric Church's Thesis: Synthetic Computability Without Choice
Yannick Forster
2022
Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic
Christian Hagemeier; Dominik Kirst
2022
A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance to an Analogue of the Normalized Information Distance
Bjorn Kjos-Hanssen; Saroj Niraula; Soowhan Yoon
2022
A Parameterized View on the Complexity of Dependence Logic
Juha Kontinen; Arne Meier; Yasir Mahmood
2022
A Logic of Interactive Proofs
David Lehnherr; Zoran Ognjanovic; Thomas Studer
2022
Recursive Rules with Aggregation: A Simple Unified Semantics
Yanhong A. Liu; Scott D. Stoller
2022
Computational Properties of Partial Non-deterministic Matrices and Their Logics
Sergio Marcelino; Carlos Caleiro; Pedro Filipe
2022
Soundness and Completeness Results for LEA and Probability Semantics
Eoin Moore
2022
On Inverse Operators in Dynamic Epistemic Logic
Shota Motoura; Shin-ya Katsumata
2022
Betwixt Turing and Kleene
Dag Normann; Sam Sanders
2022
Computability Models over Categories and Presheaves
Iosif Petrakis
2022
Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability
Daniel Rogozin
2022
Between Turing and Kleene
Sam Sanders
2022
Propositional Dynamic Logic with Quantification over Regular Computation Sequences
Igor Sedlar
2022
Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic
Rick Statman
2022
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024