20032021
If you made any changes in Pure these will be visible here soon.

Activities 2001 2013

Filter
Talks and presentations in private or public companies

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

Peter Schneider-Kamp (Lecturer)
20. Jul 2010

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

Automated Termination Analysis of Programs using Dependency Pairs

Peter Schneider-Kamp (Lecturer)
4. Nov 2009

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

Automated Termination Analysis of Programs using Dependency Pairs

Peter Schneider-Kamp (Lecturer)
22. Oct 2009

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

Proving Termination of Logic Programs with Cut

Peter Schneider-Kamp (Lecturer)
15. Oct 2009

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

The Dependency Triple Framework for Termination of Logic Programs

Peter Schneider-Kamp (Lecturer)
10. Sep 2009

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

Automated Termination Analysis of Programs using Term Rewriting

Peter Schneider-Kamp (Lecturer)
20. Aug 2009

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

Termination Analysis by Dependency Pairs and Inductive Theorem Proving

Peter Schneider-Kamp (Lecturer)
6. Aug 2009

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

Proving Termination for Logic Programs with Cut

Peter Schneider-Kamp (Lecturer)
5. Jun 2009

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