长垣产业园区科技文献服务平台

会议文集


文集名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 LogicJuan Pablo Aguilera; Jan Bydzovsky; David Fernandez-Duque2022
Andrews Skolemization May Shorten Resolution Proofs Non-elementarilyMatthias Baaz; Anela Lolic2022
The Isomorphism Problem for FST Injection StructuresDouglas Cenzer; Richard Krogman2022
Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional LogicNeil J. DeBoer2022
Hyperarithmetical Worm BattlesDavid Fernandez-Duque; Konstnatinos Papafilippou; Joost J. Joosten2022
Parametric Church's Thesis: Synthetic Computability Without ChoiceYannick Forster2022
Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic LogicChristian Hagemeier; Dominik Kirst2022
A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance to an Analogue of the Normalized Information DistanceBjorn Kjos-Hanssen; Saroj Niraula; Soowhan Yoon2022
A Parameterized View on the Complexity of Dependence LogicJuha Kontinen; Arne Meier; Yasir Mahmood2022
A Logic of Interactive ProofsDavid Lehnherr; Zoran Ognjanovic; Thomas Studer2022
Recursive Rules with Aggregation: A Simple Unified SemanticsYanhong A. Liu; Scott D. Stoller2022
Computational Properties of Partial Non-deterministic Matrices and Their LogicsSergio Marcelino; Carlos Caleiro; Pedro Filipe2022
Soundness and Completeness Results for LEA and Probability SemanticsEoin Moore2022
On Inverse Operators in Dynamic Epistemic LogicShota Motoura; Shin-ya Katsumata2022
Betwixt Turing and KleeneDag Normann; Sam Sanders2022
Computability Models over Categories and PresheavesIosif Petrakis2022
Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite RepresentabilityDaniel Rogozin2022
Between Turing and KleeneSam Sanders2022
Propositional Dynamic Logic with Quantification over Regular Computation SequencesIgor Sedlar2022
Finite Generation and Presentation Problems for Lambda Calculus and Combinatory LogicRick Statman2022
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024