Next:
Haskellcode
Up:
PCP : Postsches Korrespondenzproblem
Previous:
benötigte Module
Contents
Instanz der Klasse Problem
Die drei Teile der Klasse Problem (Problem, Instanz, Beweis) sind (PCProblem, PCP, Folge).
Johannes Waldmann 2009-11-17