✦ LIBER ✦

Decidability of first-order theories for groups and monoids of integral matrices

✍ Scribed by Yu. V. Nagrebetskaya

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidable First-Order Theories of One-St

✍ Dietrich Kuske; Markus Lohrey 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 513 KB

Comparing First Order Theories of Module

✍ Saverio Cittadini; Carlo Toffalori 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 249 KB

Lie group theory of the bessel equation

✍ G. C. Chukwumah 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 698 KB

Decidability of Second-order Theories an

✍ Review by: Dirk Siefkes 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 185 KB

The Theory of Contexts for First Order a

✍ Furio Honsell; Marino Miculan; Ivan Scagnetto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 201 KB

High Order Methods for Volterra Integral

✍ Frank de Hoog and Richard Weiss 📂 Article 📅 1973 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 841 KB