Computation with finitely presented groups

1. Basic concepts 2. Rewriting systems 3. Automata and rational languages 4. Subgroups of free products of cyclic groups 5. Coset enumeration 6. The Reidemeister-Schreier procedure 7. Generalized automata 8. Abelian groups 9. Polycyclic groups 10. Module bases 11. Quotient groups.