Conferences in DBLP

International Conference on Automated Deduction (CADE) (cade)
2010 (conf/cade/2010)

1. 
   Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. [Citation Graph (, )][DBLP]
   
   
2. 
   Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description). [Citation Graph (, )][DBLP]
   
   
3. 
   MCMT: A Model Checker Modulo Theories. [Citation Graph (, )][DBLP]
   
   
4. 
   On Hierarchical Reasoning in Combinations of Theories. [Citation Graph (, )][DBLP]
   
   
5. 
   Global Caching for Coalgebraic Description Logics. [Citation Graph (, )][DBLP]
   
   
6. 
   Tractable Extensions of the Description Logic EL with Numerical Datatypes. [Citation Graph (, )][DBLP]
   
   
7. 
   Analytic Tableaux for Higher-Order Logic with Choice. [Citation Graph (, )][DBLP]
   
   
8. 
   Monotonicity Inference for Higher-Order Formulas. [Citation Graph (, )][DBLP]
   
   
9. 
   Sledgehammer: Judgement Day. [Citation Graph (, )][DBLP]
   
   
10. 
    Logic between Expressivity and Complexity. [Citation Graph (, )][DBLP]
    
    
11. 
    Multi-Prover Verification of Floating-Point Programs. [Citation Graph (, )][DBLP]
    
    
12. 
    Verifying Safety Properties with the TLA+ Proof System. [Citation Graph (, )][DBLP]
    
    
13. 
    MUNCH - Automated Reasoner for Sets and Multisets. [Citation Graph (, )][DBLP]
    
    
14. 
    A Slice-Based Decision Procedure for Type-Based Partial Orders. [Citation Graph (, )][DBLP]
    
    
15. 
    Hierarchical Reasoning for the Verification of Parametric Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Interpolation and Symbol Elimination in Vampire. [Citation Graph (, )][DBLP]
    
    
17. 
    iProver-Eq: An Instantiation-Based Theorem Prover with Equality. [Citation Graph (, )][DBLP]
    
    
18. 
    Classical Logic with Partial Functions. [Citation Graph (, )][DBLP]
    
    
19. 
    Automated Reasoning for Relational Probabilistic Knowledge Representation. [Citation Graph (, )][DBLP]
    
    
20. 
    Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. [Citation Graph (, )][DBLP]
    
    
21. 
    Terminating Tableaux for Hybrid Logic with Eventualities. [Citation Graph (, )][DBLP]
    
    
22. 
    Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic. [Citation Graph (, )][DBLP]
    
    
23. 
    Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion. [Citation Graph (, )][DBLP]
    
    
24. 
    Focused Inductive Theorem Proving. [Citation Graph (, )][DBLP]
    
    
25. 
    A Decidable Class of Nested Iterated Schemata. [Citation Graph (, )][DBLP]
    
    
26. 
    RegSTAB: A SAT Solver for Propositional Schemata. [Citation Graph (, )][DBLP]
    
    
27. 
    Linear Quantifier Elimination as an Abstract Decision Procedure. [Citation Graph (, )][DBLP]
    
    
28. 
    A Decision Procedure for CTL^* Based on Tableaux and Automata. [Citation Graph (, )][DBLP]
    
    
29. 
    URBiVA: Uniform Reduction to Bit-Vector Arithmetic. [Citation Graph (, )][DBLP]
    
    
30. 
    Induction, Invariants, and Abstraction. [Citation Graph (, )][DBLP]
    
    
31. 
    A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. [Citation Graph (, )][DBLP]
    
    
32. 
    Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. [Citation Graph (, )][DBLP]
    
    
33. 
    An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. [Citation Graph (, )][DBLP]
    
    
34. 
    Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development. [Citation Graph (, )][DBLP]
    
    
35. 
    Automating Security Analysis: Symbolic Equivalence of Constraint Systems. [Citation Graph (, )][DBLP]
    
    
36. 
    System Description: The Proof Transformation System CERES. [Citation Graph (, )][DBLP]
    
    
37. 
    Premise Selection in the Naproche System. [Citation Graph (, )][DBLP]
    
    
38. 
    On the Saturation of YAGO. [Citation Graph (, )][DBLP]
    
    
39. 
    Optimized Description Logic Reasoning via Core Blocking. [Citation Graph (, )][DBLP]
    
    
40. 
    An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ. [Citation Graph (, )][DBLP]
    
    
41. 
    Decreasing Diagrams and Relative Termination. [Citation Graph (, )][DBLP]
    
    
42. 
    Monotonicity Criteria for Polynomial Interpretations over the Naturals. [Citation Graph (, )][DBLP]
    
    
43. 
    Termination Tools in Ordered Completion. [Citation Graph (, )][DBLP]