Find link

language:

Find link is a tool written by Edward Betts.

searching for Structural induction 5 found (21 total)

Partial algebra (176 words) [view diff] exact match in snippet view article find links to article

Partial Algebras. CiteSeerX 10.1.1.92.6134. Horst Reichel (1984). Structural induction on partial algebras. Akademie-Verlag. Horst Reichel (1987). Initial

Omega-regular language (652 words) [view diff] exact match in snippet view article find links to article

constructive. Using the closure properties of Büchi automata and structural induction over the definition of ω-regular language, it can be easily shown

Law of Demeter (1,638 words) [view diff] exact match in snippet view article find links to article

which are easier to reuse, and easier correct.ness proofs using structural induction. Lieberherr, Karl; Orleans, Doug; Ovlinger, Johan (October 2001)

Rippling (659 words) [view diff] case mismatch in snippet view article find links to article

1017/CBO9780511543326. ISBN 0-521-83449-X. Aubin, Raymond (1976), Mechanizing Structural Induction, EDI-INF-PHD, vol. 76–002, University of Edinburgh, hdl:1842/6649

Generic programming (7,737 words) [view diff] exact match in snippet view article find links to article

special construct in which such polytypic functions can be defined via structural induction over the structure of the pattern functor of a regular datatype.