15-819K Logic Programming
Lecture 14: Cut Elimination

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Admissibility of cut
  • Cut elimination
  • Residuation
  • Synchronous goal connectives
• Previous lecture: Abstract Logic Programming
• Next lecture: Resource Management

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning