Theoretical Computer Science

Publications 2007

Contributions to Books / Journals

Book Chapter (Original Paper)
  • Moser, Georg; Dershowitz, Nachum (2007): The Hydra Battle Revisited.
    In: Comon-Lundh, H.; Kirchner, C.; Kirchner, H. (Eds.): Rewriting, Computation and Proof. Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 4600)., ISBN 978-3540731467, pp. 1 - 27.

Lectures 2007

Presentations at Conferences, Symposia, etc.

Conference Lecture (Invited Lecture)
  • Lecturer(s): Moser, Georg: Proving Termination of Scheme Programs by Rewriting.
    Moscow-Vienna Workshop on Logic and Computation 2007, Wien, 2007-07-02. (Web link)

Guest Lectures

Guest Lecture
  • Lecturer(s): Moser, Georg: The Hydra Battle and Cichon's Principle.
    Kobe University, Kobe, 2007-11-20.

  • Lecturer(s): Moser, Georg: Complexity Analysis by Rewriting.
    JAIST (Japan Advanced Institute for Science and Technology), Kanazawa, 2007-11-07.

Projects, scholarships and other third-party funds 2007

Research Projects

  • Moser, Georg: Derivationskomplexit√§tsanalyse.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
    2007-10-01 - 2011-08-31

Academic Activities and Achievements 2007

Supervision of Student Theses

  • Moser, Georg: Schnabl, Andreas: Context Dependent Interpretations (2007).

  • Moser, Georg: Neurauter, Friedrich: Preserving Regularity via Logic Programs (2007).