Theoretical Computer Science

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).