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

会议文集


文集名Automated Reasoning
会议名12th International Joint Conference on Automated Reasoning (IJCAR 2024)
中译名《第十二届国际自动推理联合会议，卷2》
会议日期July 3-6, 2024
会议地点Nancy, France
出版年2024
馆藏号352911


题名作者出版年
Model Construction for Modal ClausesUllrich Hustadt; Fabio Papacchini; Claudia Nalon; Clare Dixon2024
A Terminating Sequent Calculus for Intuitionistic Strong Lob Logic with the Subformula PropertyCamillo Fiorentini; Mauro Ferrari2024
Mechanised Uniform Interpolation for Modal Logics K, GL, and iSLHugo Feree; Iris van der Giessen; Sam van Gool; Ian Shillito2024
Skolemisation for Intuitionistic Linear LogicAlessandro Bruni; Eike Ritter; Carsten Schurmann2024
Local Intuitionistic Modal Logics and Their CalculiPhilippe Balbiani; Han Gao; Cigdem Gencer; Nicola Olivetti2024
Non-iterative Modal Resolution CalculiDirk Pattinson; Claudia Nalon2024
A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent SystemsHans van Ditmarsch; Krisztina Fruzsa; Roman Kuznets; Ulrich Schmid2024
A Decision Method for First-Order Stream LogicHarald Ruess2024
What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?Tanguy Bozec; Nicolas Peltier; Quentin Petitjean; Mihaela Sighireanu2024
Sequents vs Hypersequents for Aqvist SystemsAgata Ciabattoni; Matteo Tesi2024
Uniform Substitution for Differential Refinement LogicEnguerrand Prebet; Andre Platzer2024
Sequent Systems on Undirected GraphsMatteo Acclavio2024
A Proof Theory of (ω-)Context-Free Languages, via Non-wellfounded ProofsAnupam Das; Abhishek De2024
A Cyclic Proof System for Guarded Kleene Algebra with TestsJan Rooduijn; Dexter Kozen; Alexandra Silva2024
Unification in the Description Logic εLH_(R+) Without the Top Concept Modulo Cycle-Restricted OntologiesFranz Baader; Oliver Fernandez Gil2024
Confluence of Logically Constrained Rewrite Systems RevisitedJonas Schopf; Fabian Mitterwallner; Aart Middeldorp2024
Equational Anti-unification over Absorption TheoriesMauricio Ayala-Rincon; David M. Cerna; Andres Felipe Gonzalez Barragan; Temur Kutsia2024
The Benefits of DiligenceVictor Arrial; Giulio Guerrieri; Delia Kesner2024
A Dependency Pair Framework for Relative Termination of Term RewritingJan-Christoph Kassing; Grigory Vartanyan; Jurgen Giesl2024
Solving Quantitative EquationsGeorg Ehling; Temur Kutsia2024
12



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