✦ LIBER ✦

A clausal resolution method for branching-time logic ECTL+

✍ Scribed by Alexander Bolotov; Artie Basukoski

Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 448 KB
Volume: 46
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-006-9018-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A clausal resolution method for extended

A clausal resolution method for extended computation tree logic ECTL

✍ Alexander Bolotov; Artie Basukoski 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 255 KB

A temporal clausal resolution method was originally developed for linear time temporal logic and further extended to the branching-time framework of Computation Tree Logic (CTL). In this paper, following our general idea to expand the applicability of this efficient method to more expressive formali

A complete deductive-system for since-un

A complete deductive-system for since-until branching-time logic

✍ Alberto Zanardo 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 861 KB

Model checking for a probabilistic branc

Model checking for a probabilistic branching time logic with fairness

✍ Christel Baier; Marta Kwiatkowska 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

A branch and bound method for the job-sh

A branch and bound method for the job-shop problem with sequence-dependent setup times

✍ Christian Artigues; Dominique Feillet 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 481 KB

A time efficient method for determinatio

A time efficient method for determination of static non-linearities of high-speed high-resolution ADCs

✍ L. Satish; Santosh C. Vora; Alok Kumar Sinha 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 312 KB

Modulated repetition time look-locker (M

Modulated repetition time look-locker (MORTLL): A method for rapid high resolution three-dimensional T1 mapping

✍ Neville D. Gai; John A. Butman 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 637 KB

## Abstract ## Purpose To demonstrate a modification of the Look‐Locker (LL) technique that enables rapid high resolution T1 mapping over the physiologic range of intracranial T1 values, ranging from white matter to cerebrospinal fluid (CSF). This is achieved by use of a three‐dimensional (3D) bal