Next:
Darstellung des Beweises
Up:
PCP : Postsches Korrespondenzproblem
Previous:
Verifizierung
Contents
Darstellung der Instanz
Das PCP wird in einer Tabelle im HTML-Format abgelegt und dann auf der entsprechenden Seite eingebunden.
Johannes Waldmann 2009-11-17