✦ LIBER ✦

Strongly finitely based equational theories

✍ Scribed by W. Rautenberg

Publisher: Springer
Year: 1991
Tongue: English
Weight: 647 KB
Volume: 28
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf01195863

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strongly ∀-finite theories of unars

✍ B. M. Khusainov 📂 Article 📅 1987 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 258 KB

Mixed finite element method for a strong

Mixed finite element method for a strongly damped wave equation

✍ Amiya K. Pani; Jin Yun Yuan 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB 👁 2 views

Perfect Bases for Equational Theories

✍ Jaroslav Ježek; George F. McNulty 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 624 KB

Perfect bases for equational theories are closely related to confluent and finitely terminating term rewrite systems. The two classes have a large overlap, but neither contains the other. The class of perfect bases is recursive. We also investigate a common generalization of both concepts; we call t

Finite equational bases for subalgebra d

Finite equational bases for subalgebra distributive varieties

✍ J. Shapiro 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 235 KB

Multinode finite element based on bounda

Multinode finite element based on boundary integral equations

✍ Vitaly E. Bulgakov; Marina V. Bulgakova 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 119 KB 👁 2 views

A ÿnite element constructed on the basis of boundary integral equations is proposed. This element has a exible shape and arbitrary number of nodes. It also has good approximation properties. A procedure of constructing an element sti ness matrix is demonstrated ÿrst for one-dimensional case and then

Inequalities Applicable in the Theory of

Inequalities Applicable in the Theory of Finite Difference Equations

✍ B.G. Pachpatte 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 193 KB