Publications 2005

(Co-)Edited Journals and Book Series

(Co-)Editorship of Book Series and Journals

• Moser, Georg: Guest editor - Annals of Pure and Applied Logic, 2004-06-01 - 2005-10-01.
  
  

Contributions to Books / Journals

Proceedings Article (Full Paper)

• Arai, Toshiyasu; Moser, Georg (2005): Proofs of Termination of Rewrite Systems for Polytime Functions.
  In: Ramanujam, Ramaswamy (ed.): FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 3821)., ISBN 3-540-30495-9, pp. 529 - 540.
  
  

Lectures 2005

Presentations at Conferences, Symposia, etc.

Conference Lecture (Invited Lecture)

• Lecturer(s): Moser, Georg: Ackermann's Substitution Method (remixed).
  Collegium Logicum: Cut-Elimination, Wien, 2005-07-06.
  
  

Conference Lecture (Upon Registration)

• Lecturer(s): Moser, Georg: Tiered Recursion and Strategies.
  5th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'05), Nara, 2005-04-22.
  
  

Academic Activities and Achievements 2005

Supervision of Student Theses

• Moser, Georg: Sternagel, Christian: Logics with Transfinite Sequences (2005 - 2006).