中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Logic, Language, Information, and Computation
会议名28th Workshop on Logic, Language, Information and Computation (WoLLIC 2022)
中译名《第二十八届逻辑、语言、信息和计算研讨会》
机构European Association for Theoretical Computer Science (EATCS)
会议日期September 20-23, 2022
会议地点Iasi, Romania
出版年2022
馆藏号345009


题名作者出版年
A Proof of the Focusing Theorem via MALL Proof NetsRoberto Maieli2022
Time and Godel: Fuzzy Temporal Reasoning in PSPACEJuan Pablo Aguilera; Martin Dieguez; David Fernandez-Duque; Brett McLean2022
Fixed Point Logics and Definable Topological PropertiesDavid Fernandez-Duque; Quentin Gougeon2022
Correspondence Theory for Generalized Modal AlgebrasZhiguang Zhao2022
Tense Logics over LatticesXiaoyang Wang; Yanjing Wang2022
Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time ComputabilityTomoyuki Yamakami2022
Multityped Abstract Categorial Grammars and Their CompositionPierre Ludmann; Sylvain Pogodalla; Philippe de Groote2022
Interval Probability for Sessions TypesBogdan Aman; Gabriel Ciobanu2022
Combinatorial Flows as Bicolored Atomic FlowsGiti Omidvar; Lutz Strassburger2022
A Logic of "Black Box" Classifier SystemsXinghan Liu; Emiliano Lorini2022
What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?Naosuke Matsuda; Kento Takagi2022
Logic of Visibility in Social NetworksRustam Galimullin; Mina Young Pedersen; Marija Slavkovik2022
The Alternation Hierarchy of the μ-calculus over Weakly Transitive FramesLeonardo Pacheco; Kazuyuki Tanaka2022
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with TestsIgor Sedlar; Johann J. Wannenburg2022
The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is UnsatisfiableHans van Ditmarsch; Malvin Gattinger2022
Additive Types in Quantitative Type TheoryVit Sefl; Tomas Svoboda2022
Strongly First Order, Domain Independent Dependencies: The Union-Closed CasePietro Galliani2022
Towards an Intuitionistic Deontic Logic Tolerating Conflicting ObligationsTiziano Dalmonte; Charles Grellois; Nicola Olivetti2022
Presburger Buchi Tree Automata with Applications to Logics with Expressive CountingBartosz Bednarczyk; Oskar Fiuk2022
Abstract Cyclic ProofsBahareh Afshari; Dominik Wehr2022
12



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