Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Formal aspects of computing 6 (1994), S. 1-38 
    ISSN: 1433-299X
    Keywords: Verification ; Functional logic ; Intensional logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract In many areas of computation and reasoning, the value of an expression may depend on an implicit parameter, which may for example represent a program state, or time, or a possible world. In this paper we describe a formal first order logic which captures a general notion of expressions which depend on an implicit parameter. Both semantics and syntax are discussed. An important application of the logic, used as a running example, is to provide a basis for unifying the Hoare logic of procedural programs with the mathematically powerful techniques of classical logic and set theory. It is, however, beyond the scope of this paper to develop this application fully.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 1573-1561
    Keywords: Smaller European elm bark beetle ; Scolytus multistriatus ; Coleoptera ; Scolytidae ; elm bacterial isolates ; gamma irradiation ; trapping
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Chemistry and Pharmacology
    Notes: Abstract The response of the European elm bark beetle,Scolytus multistriatus, to host bacterial isolates was studied qualitatively under field conditions. Initial experiments indicated that such isolates were attractive to in-flight beetles. These isolates, identified asBacillus subtilis (five strains),B. pumilus, andEnterobacter cloacae, were grown on nutrient agar in glass vials and attached to sticky traps in elm woods. Although beetles were caught on the bacterial isolate-baited traps, the catches were variable, inconsistent, and often contradictory from one experiment to another. High numbers ofS. multistriatus were caught on traps baited with three strains ofB. subtilis, but in addition to thesubtilis strains, there were also aerial contaminants in the treatments, namelyE. aerogenes, Corynebacterium sp., andFlavobacterium sp. Also, relatively high catches were recorded on nutrient agar controls. When elm wood-bark plugs, sterilized (by gamma irradiation) and unsterilized, were placed in vials with the host bacterial isolates, the presence or absence of fresh elm, gamma irradiated or not, had no noticeable effect on beetle attractancy.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...