✦ LIBER ✦

Interval Duration Logic: Expressiveness and Decidability

✍ Scribed by Paritosh K. Pandya

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Propositional interval neighborhood logi

✍ Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 990 KB

Specifying safety-critical systems with

✍ Konur, Savas 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 511 KB

On the expressiveness and decidability o

✍ Ivan Lanese; Jorge A. Pérez; Davide Sangiorgi; Alan Schmitt 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 532 KB

Expressiveness and complexity of graph l

✍ Anuj Dawar; Philippa Gardner; Giorgio Ghelli 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 580 KB

Semantics and expressiveness of disjunct

✍ Francesco Buccafurri; Nicola Leone; Pasquale Rullo 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 214 KB

Expressiveness and the completeness of H

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 984 KB