Peter Schneider-Kamp

Search results

• Synthesizing Shortest Straight-Line Programs over GF(2) using SAT

  Schneider-Kamp, P. (Lecturer)

  20. Jul 2010

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Automated Termination Analysis of Programs using Dependency Pairs

  Schneider-Kamp, P. (Lecturer)

  4. Nov 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Automated Termination Analysis of Programs using Dependency Pairs

  Schneider-Kamp, P. (Lecturer)

  22. Oct 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Proving Termination of Logic Programs with Cut

  Schneider-Kamp, P. (Lecturer)

  15. Oct 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• The Dependency Triple Framework for Termination of Logic Programs

  Schneider-Kamp, P. (Lecturer)

  10. Sept 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Automated Termination Analysis of Programs using Term Rewriting

  Schneider-Kamp, P. (Lecturer)

  20. Aug 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Termination Analysis by Dependency Pairs and Inductive Theorem Proving

  Schneider-Kamp, P. (Lecturer)

  6. Aug 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies

• Proving Termination for Logic Programs with Cut

  Schneider-Kamp, P. (Lecturer)

  5. Jun 2009

  Activity: Talks and presentations › Talks and presentations in private or public companies