단행본 상세

URL복사하기
서지주요정보
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings [electronic resource]
서명 / 저자 Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings / edited by Sergei Artemov, Anil Nerode.
저자명 Artemov, Sergei. editor. (orcid)0000-0002-5605-6172 https://orcid.org/0000-0002-5605-6172 edt http://id.loc.gov/vocabulary/relators/edt ; Nerode, Anil. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2022.
Online Access https://doi.org/10.1007/978-3-030-93100-1 URL

서지기타정보

서지기타정보
청구기호 QA8.9-10.3
판사항 1st ed. 2022.
형태사항 X, 377 p. 18 illus., 2 illus. in color. online resource.
총서명 Theoretical Computer Science and General Issues, 2512-2029 ; 13137
언어 English
내용 A Non-Hyperarithmetical Gödel Logic -- Shorten Resolution Proofs Non-Elementarily -- The Isomorphism Problem for FST Injection Structures -- Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic -- Hyperarithmetical Worm Battles -- Parametric Church’s Thesis: Synthetic Computability Without Choice -- Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic -- A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance to an Analogue of the Normalized Information Distance -- A Parameterized View on the Complexity of Dependence Logic -- A Logic of Interactive Proofs -- Recursive Rules With Aggregation: A Simple Unified Semantics -- Computational Properties of Partial Non-deterministic Matrices and Their Logics -- Soundness and Completeness Results for LEA and Probability Semantics -- On Inverse Operators in Dynamic Epistemic Logic -- Computability Models Over Categories and Presheaves -- Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability -- Between Turing and Kleene -- Propositional Dynamic Logic With Quantification Over Regular Computation Sequences -- Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic -- Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems -- Logical Principles -- Small Model Property Reflects in Games and Automata.
주제 Mathematical logic.
Mathematical Logic and Foundations.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783030930998 Printed edition: 9783030931018
ISBN 9783030931001
기타 표준번호 10.1007/978-3-030-93100-1
QR CODE

책소개

전체보기

목차

전체보기

홈으로
로그인 외부인 로그인
ENG
닫기