Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
(Induktionsbeweisverfahren Gleichungssystem,
 

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