会议文集


文集名Automated Deduction - CADE 28
会议名28th International Conference on Automated Deduction (CADE 28)
中译名《第二十八届国际自动演绎会议》
机构Carnegie Mellon University
会议日期July 12-15, 2021
会议地点Online
出版年2021
馆藏号340152


题名作者出版年
Non-well-founded Deduction for Induction and CoinductionLiron Cohen2021
Towards the Automatic MathematicianMarkus N. Rabe; Christian Szegedy2021
Tableau-based Decision Procedure for Non-Fregean Logic of Sentential IdentityJoanna Golinska-Pilarek; Taneli Huuskonen; Michal Zawidzki2021
Learning from Lukasiewicz and Meredith: Investigations into Proof StructuresChristoph Wernhard; Wolfgang Bibel2021
Efficient Local Reductions to Basic Modal LogicFabio Papacchini; Claudia Nalon; Ullrich Hustadt; Clare Dixon2021
Isabelle's Metalogic: Formalization and Proof CheckerTobias Nipkow; Simon Rosskopf2021
The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear ConstraintsFranz Brausse; Konstantin Korovin; Margarita V. Korovina; Norbert Th. Muller2021
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT ReasoningAlessandro Cimatti; Alberto Griggio; Gianluca Redondi2021
Politeness and Stable Infiniteness: Stronger TogetherYing Sheng; Yoni Zohar; Christophe Ringeissen; Andrew Reynolds; Clark Barrett; Cesare Tinelli2021
Equational Theorem Proving ModuloDohan Kim; Christopher Lynch2021
Unifying Decidable Entailments in Separation Logic with Inductive DefinitionsMnacho Echenim; Radu Iosif; Nicolas Peltier2021
Subformula Linking for Intuitionistic Logic with Application to Type TheoryKaustuv Chaudhuri2021
Efficient SAT-based Proof Search in Intuitionistic Propositional LogicCamillo Fiorentini2021
Proof Search and Certificates for Evidential TransactionsVivek Nigam; Giselle Reis; Samar Rahmouni; Harald Ruess2021
Non-clausal Redundancy PropertiesLee A. Barnett; Armin Biere2021
Multi-Dimensional Interpretations for Termination of Term RewritingAkihisa Yamada2021
Finding Good Proofs for Description Logic Entailments using Recursive Quality MeasuresChristian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova2021
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static εζ TBoxesFranz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah2021
Generalized Completeness for SOS Resolution and its Application to a New Notion of RelevanceFajar Haifani; Sophie Tourret; Christoph Weidenbach2021
A Unifying Splitting FrameworkGabriel Ebner; Jasmin Blanchette; Sophie Tourret2021
12



制造业外文文献服务平台