wie folgt induktiv definiertes Programm: Alle Wertzuweisungen der Form x: = y, x ≔ c, x ≔ x + 1, x ≔ x − 1 sind LOOP-Programme (wobei x, y Programmvariablen sind, und c eine ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results