✦ LIBER ✦

Complexity of the decidability of one class of formulas in quantifier-free set theory with a set-union operator

✍ Scribed by M. Tetruashvili

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complexity of the decidability of the un

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

On a Collection of Classes in Ackermann'

✍ Klaus Gloede 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 306 KB 👁 1 views

Operations on the Class of Fuzzy Sets on

✍ E.E. Kerre; A.A. Nouh; A. Kandil 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 606 KB

CORRESPONDENCE. A REVIEW OF PIPE-FRICTIO

✍ LAMONT, P A ;BLAIR, J S ;BONNINGTON, S T ;TIFFEN, A B ;COLEBROOK, C F 📂 Article 📅 1954 🏛 Thomas Telford Ltd. ⚖ 657 KB

On the spectral theory of Gesztesy–Šeba

✍ Carlone, Raffaele; Malamud, Mark; Posilicano, Andrea 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 872 KB

On the boundedness problem for the set o

✍ G. A. Aigunov 📂 Article 📅 1996 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 146 KB