Results 151 to 160 of about 5,064 (214)
Some of the next articles are maybe not open access.

Related searches:

An overview of Larch

1993
We begin by describing the Larch approach to specification and illustrating it with a few small examples. We then discuss LP, the Larch proof assistant, a tool that supports all the Larch languages. Our intent is to give you only a taste of these things. For a comprehensive look at Larch see [12].
Stephen J. Garland   +2 more
openaire   +1 more source

Larch Casebearer Control on Western Larch, 1976

Insecticide and Acaricide Tests, 1977
Abstract The test was done on epidemic larch casebearer populations in young western larch stands near LaGrande, Oregon. Orthene was applied to needle mining larvae on Sept 9, 12, and 13 by a helicoptermounted conventional boom and nozzle system with 43 tee-Jet nozzles and no. 8002 flat fan spray tips.
John S. Hard   +2 more
openaire   +1 more source

Feeding Levels of Larch Sawfly on Different Larches in Maryland

Chesapeake Science, 1970
Feeding levels of the larch sawflyPristiphora erichsonii were studied in 3 western Maryland plantations in which 6 larch species and a variety of geographic strains were represented. The data are based on initial observations on young trees. However, significant differences in the level of susceptibility were noted among some geographic strains of ...
Dan M. Harman, John B. Genys
openaire   +1 more source

An Introduction to Larch

1993
We begin this chapter by describing the Larch approach to specification and illustrating it with a few small examples. Our intent is to give you a taste of Larch. Details are reserved for later chapters. We then discuss LP, the Larch proof assistant, a tool that supports all the Larch languages. Again, we give only a taste.
John V. Guttag   +5 more
openaire   +1 more source

Larch

2001
Larch advantage is that it resists well to wind. Researchers had worked for several years to produce efficient Larch varieties, adapted to plain but which are now less available. This illustrated document was written by the best French, Belgian, German and Italian on ground workers. It is divided into four parts: plant material - Larch and environment -
Riou Nivert, P.   +3 more
openaire   +1 more source

Home - About - Disclaimer - Privacy