✦ LIBER ✦

On the complexity of the two-variable guarded fragment with transitive guards

✍ Scribed by Emanuel Kieroński

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The guarded fragment with transitive gua

✍ Wiesław Szwast; Lidia Tendera 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 522 KB

Complexity of the Two-Variable Fragment

✍ Ian Pratt-Hartmann 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 486 KB

Data-complexity of the two-variable frag

✍ Ian Pratt-Hartmann 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 463 KB

The effect of metal field plates on mult

✍ Berit Sundby Avset; Lars Evensen 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 562 KB

Observations with the TOF-Watch/Guard® o

✍ C. Motamed; K. Kirov; P. Duvaldestin 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 56 KB

On the Theory of Functions of two Comple

✍ Young, W. H. 📂 Article 📅 1923 🏛 Oxford University Press 🌐 English ⚖ 389 KB