. . . "Proving Properties of Programs by Structural Induction"@fr . . . . "\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430 \u0456\u043D\u0434\u0443\u043A\u0446\u0456\u044F"@uk . "2001"^^ . "Akademie-Verlag"@fr . . . "2"^^ . . . . . . . . "2016-05-07"^^ . . . . . "41"^^ . . "0"^^ . . . . . . . "Introduction to Automata Theory, Languages, and Computation"@fr . . . . . . . . . . . . . "Jason Filippou"@fr . "Indu\u00E7\u00E3o estrutural"@pt . . . . . . "10.1093"^^ . . . "\u0421\u0442\u0440\u0443\u043A\u0442\u0443\u0440\u043D\u0430\u044F \u0438\u043D\u0434\u0443\u043A\u0446\u0438\u044F"@ru . . . "Structural induction"@en . . "Hopcroft"@fr . . "Burstall"@fr . "Indukcja strukturalna"@pl . . . . "8770"^^ . . . . . . "en"@fr . "188590510"^^ . . . . . "1"^^ . "Horst Reichel"@fr . . . . "Structural Induction"@fr . . "Universit\u00E9 du Maryland, College Park"@fr . "Rajeev Motwani"@fr . "1968"^^ . . "John E."@fr . "R.M."@fr . "12"^^ . . "521"^^ . "10838452"^^ . "Algorithms and Data Structures"@fr . "Jeffrey D. Ullman"@fr . . . . . "En math\u00E9matiques et davantage en informatique, la d\u00E9finition r\u00E9cursive ou induction structurelle est un proc\u00E9d\u00E9 de d\u00E9finition conjointe d'un type (classe ou ensemble) et d'objets (\u00E9l\u00E9ments) qui le compose au moyen de r\u00E8gles de construction (constructeurs) qui agencent ou structurent ces objets. L'on peut ainsi d\u00E9finir des nombres, des listes, des arbres, des relations, et plus g\u00E9n\u00E9ralement, toute structure math\u00E9matique (langage, syst\u00E8me, \u2026). En permettant par le m\u00EAme principe de d\u00E9finir un pr\u00E9dicat total[pas clair] i.e. qui est d\u00E9fini partout, l'induction structurelle est aussi une m\u00E9thode de d\u00E9monstration d'une propri\u00E9t\u00E9 sur une structure."@fr . . . . "En math\u00E9matiques et davantage en informatique, la d\u00E9finition r\u00E9cursive ou induction structurelle est un proc\u00E9d\u00E9 de d\u00E9finition conjointe d'un type (classe ou ensemble) et d'objets (\u00E9l\u00E9ments) qui le compose au moyen de r\u00E8gles de construction (constructeurs) qui agencent ou structurent ces objets."@fr . . "Structurele inductie"@nl . . "Induction structurelle"@fr . . . . "1984"^^ . . . "1985"^^ . . . . "Reading Mass"@fr . "Structural induction on partial algebras"@fr .