ISR 2010
Room 005: Tree Automata and Rewriting Ralf Treinen
Room 105: Tree Automata and Rewriting Ralf Treinen
Room 005: Complexity Analysis of Term Rewrite Systems Georg Moser
Room 105: Complexity Analysis of Term Rewrite Systems Georg Moser
Room 005: Termination of Programs Peter Schneider-Kamp
Room 105: Termination of Programs Peter Schneider-Kamp
Room 005: Productivity Joerg Endrullis, Dimitri Hendriks, Clemens Grabmayer
Room 005: SAT Solving for Term Rewriting Hans Zantema
Room 032: Applications of Rewriting in Design and Analysis of Algorithms Ashish Tiwari
Room 005: Applications of Rewriting in Design and Analysis of Algorithms Ashish Tiwari
Room 105: Applications of Rewriting in Design and Analysis of Algorithms Ashish Tiwari
Room 032: Coq and Rewriting Adam Koprowski
Room 005: Coq and Rewriting Adam Koprowski
Room 105: Productivity Joerg Endrullis, Dimitri Hendriks, Clemens Grabmayer