This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Conference on Automated Deduction (CADE)

A conference, workshop or journal: the thing that recurs, across all its years.

Conference on Automated Deduction (CADE), since 1974: theorem provers, proof search, unification, decision procedures. Alternates with IJCAR and runs the CASC prover competition.

Part of Lecture Notes in Computer Science.

1 reference

Biabduction (and Related Problems) in Array Separation Logic

James Brotherston and others (2017) · Automated Deduction – CADE 26 · Springer