Decision Procedures for Logical Theories

Slides
  • 20.10.2005 Motivation [PDF], [PS]
  • 08.11.2005 Giving seminar talks [PDF], [PS]
  • 15.11.2005 Introductory notions
  • First-order logic: [PDF] [PDF]
  • 22.11.2005 Introductory notions
  • Resolution (propositional logic): [PDF]
  • Orderings: [PDF]
  • Refutational completeness of resolution: [PDF]
  • Resolution (general): [PDF]
  • Ordered resolution with selection, redundancy: [PDF]
  • First-order logic with equality: [PDF]
  • Critical pairs, Knuth-Bendix completion [PDF] [PDF]
  • 20.12.2005 Combinations of Theories (An introduction) [PDF], [PS]
  • 14.02.2006 Combinations of Theories (Summary) [PDF], [PS]
    • Viorica Sofronie-Stokkermans <sofronie@mpi-sb.mpg.de> November 8, 2005.