Summary: Definition
6.3.9
(Induktionsbeweisverfahren
[HH82])
E
Gleichungssystem,
R
TES
˜
uber
#
und
V,
#
c
#
#,
#
Reduktionsordnung.
Induktionsbeweiskalk˜ ul

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences