✦ LIBER ✦

On the freeze quantifier in Constraint LTL: Decidability and complexity

✍ Scribed by Stéphane Demri; Ranko Lazić; David Nowak

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complexity of the decidability of one cl

✍ M. Tetruashvili 📂 Article 📅 1996 🏛 Walter de Gruyter GmbH & Co. KG 🌐 English ⚖ 232 KB

Quantifying the cost of thermoregulation

✍ Brewster, Casey L.; Sikes, Robert S.; Gifford, Matthew E.; Wilson, Robbie 📂 Article 📅 2013 🏛 John Wiley and Sons 🌐 English ⚖ 245 KB

Petrological and Geochemical Constraints

✍ S. Bhattacharya; Rajib Kar 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 433 KB

In vivo gene transfer using pDNA/chitosa

✍ Hagiwara, Kenji; Kishimoto, Satoko; Ishihara, Masayuki; Koyama, Yoshiyuki; Mazda 📂 Article 📅 2013 🏛 John Wiley and Sons 🌐 English ⚖ 507 KB

Re-Os, Sm-Nd, and Pb isotopic constraint

✍ Edward M Ripley; David D Lambert; Louise R Frick 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 573 KB

Constraints on the origin of zonation of

✍ Hecht, L.; Vigneresse, J. L.; Morteani, G. 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 562 KB