✦ LIBER ✦

Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy

✍ Scribed by Thérien, Denis; Wilke, Thomas

Book ID: 118180452
Publisher: Society for Industrial and Applied Mathematics
Year: 2001
Tongue: English
Weight: 246 KB
Volume: 31
Category: Article
ISSN: 0097-5397
DOI: 10.1137/s0097539797322772

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Until Hierarchy and Other Application

An Until Hierarchy and Other Applications of an Ehrenfeucht–Fraı̈ssé Game for Temporal Logic

✍ Kousha Etessami; Thomas Wilke 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 270 KB

Leaf production of an overstorey rainfor

Leaf production of an overstorey rainforest tree and its effects on the temporal distribution of associated insect herbivores

✍ Yves Basset 📂 Article 📅 1991 🏛 Springer-Verlag 🌐 English ⚖ 859 KB

The host phenology and temporal distribution of insect herbivores associated with a rainforest canopy tree, Argyrodendron actinophyllum (Sterculiaceae), were monitored for 3 and 2 years respectively in an Australian subtropical rain forest near Brisbane. Leaf production of this evergreen species was