Superposition with Delayed Unification

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29
1. Verfasser: Bhayat, Ahmed (VerfasserIn)
Weitere Verfasser: Schoisswohl, Johannes (VerfasserIn), Rawson, Michael (VerfasserIn)
Pages:29
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2023
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Superposition with Delayed Unification 2023 Bhayat, Ahmed
Certified Core-Guided MaxSAT Solving 2023 Berg, Jeremias
Verified Given Clause Procedures 2023 Blanchette, Jasmin
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning 2023 Bromberger, Martin
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT 2023 Henkel, Elisabeth
Proving Termination of C Programs with Lists 2023 Hensel, Jera
Reasoning About Regular Properties: A Comparative Study 2023 Fiedor, Tomás
Program Synthesis in Saturation 2023 Hozzovd, Petra
Confluence Criteria for Logically Constrained Rewrite Systems 2023 Schopf, Jonas
Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory 2023 Stevens, Lukas
On Incremental Pre-processing for SMT 2023 Bjorner, Nikolaj
Formal Reasoning About Influence in Natural Sciences Experiments 2023 Bruse, Florian
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) 2023 Görlitz, Oliver
Verification of NP-Hardness Reduction Functions for Exact Lattice Problems 2023 Kreuzer, Katharina
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics EL, EL + 2023 Peuter, Dennis
An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper) 2023 Tammet, Tanel
Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates 2023 Boigelot, Bernard
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness 2023 Toledo, Guilherme V.
An Isabelle/HOL Formalization of the SCL(FOL) Calculus 2023 Bromberger, Martin
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs 2023 Brieger, Marvin
Alle Artikel auflisten