theoretica

Welcome to the WWW server theoretica. Here you will find the web-pages of Theory of Computing.

The Theory of Computing of the Department of Computing Science at the Carl von Ossietzky University of Oldenburg consists of the Formal Languages group, headed by Prof. Dr. Annegret Habel, the Parallel Systems group, headed by Prof. Dr. Eike Best, and the Correct Systems Design group, headed by Prof. Dr. Ernst-Rüdiger Olderog.

Please use the navigation bar to select a topic.