Universitšt Karlsruhe
Horia Barca

Arbeitsgebiete

Isabelle/HOL, Prozessalgebren

Bearbeitete Studien- und Diplomarbeiten

Diplomarbeit
Eine formale Semantik f√ľr den Pi-Kalk√ľl (abgeschlossen)
Login
Links