BibSonomy :: author  ::

bookmarks

publications

(153)

• Deciding Innermost Loops.
  René Thiemann and Jürgen Giesl and Peter Schneider-Kamp RTA 366-380 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Maximal Termination.
  Carsten Fuhs and Jürgen Giesl and Aart Middeldorp and Peter Schneider-Kamp and René Thiemann and Harald Zankl RTA 110-125 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Placement Inference for a Client-Server Calculus.
  Matthias Neubauer and Peter Thiemann ICALP (2) 75-86 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Innermost Termination of Rewrite Systems by Labeling.
  René Thiemann and Aart Middeldorp Electr. Notes Theor. Comput. Sci. 204 3-19 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Calculus and Algebra for Distributed Data Management.
  Serge Abiteboul Programming Paradigms for the Web: Web Programming and Web Services (2007)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX  
• 07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services.
  Richard Hull and Peter Thiemann and Philip Wadler Programming Paradigms for the Web: Web Programming and Web Services (2007)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX  
• 07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services.
  Richard Hull and Peter Thiemann and Philip Wadler Programming Paradigms for the Web: Web Programming and Web Services (2007)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX  
• 07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services.
  Richard Hull and Peter Thiemann and Philip Wadler Programming Paradigms for the Web: Web Programming and Web Services (2007)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX  
• Programming Paradigms for the Web: Web Programming and Web Services, 28.01. - 02.02.2007
  Richard Hull and Peter Thiemann and Philip Wadler (eds.). Programming Paradigms for the Web: Web Programming and Web Services (2007)
  to dblp by dblp on 2008-05-19 00:00:00
  | URL | BibTeX  
• Decision Procedures for Loop Detection.
  René Thiemann and Jürgen Giesl and Peter Schneider-Kamp Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX