Activities per year
Activities
- 8 results
Search results
-
Synthesizing Shortest Straight-Line Programs over GF(2) using SAT
Schneider-Kamp, P. (Lecturer)
20. Jul 2010Activity: 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 2009Activity: 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 2009Activity: Talks and presentations › Talks and presentations in private or public companies
-
Proving Termination of Logic Programs with Cut
Schneider-Kamp, P. (Lecturer)
15. Oct 2009Activity: 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 2009Activity: 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 2009Activity: 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 2009Activity: Talks and presentations › Talks and presentations in private or public companies
-
Proving Termination for Logic Programs with Cut
Schneider-Kamp, P. (Lecturer)
5. Jun 2009Activity: Talks and presentations › Talks and presentations in private or public companies