✦ LIBER ✦

Logics and decidability for labelled pre- and partially ordered Kripke structures

✍ Scribed by Antonia Sinachopoulos

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A first order logic for specification of

✍ Danièle Beauquier; Anatol Slissenko 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 313 KB

Normal forms for second-order logic over

✍ Thomas Eiter; Georg Gottlob; Yuri Gurevich 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 1024 KB

An efficient implicit data structure for

✍ Giorgio Gambosi; Marco Protasi; Maurizio Talamo 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 935 KB

Determination of the rα structure correc

✍ R. Wasser; P. Diehl 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 315 KB