✦ LIBER ✦

Recursive undecidability of the binding property for finitely presented equational classes

✍ Scribed by Stephane Foldes; Gert Sabidussi

Book ID: 112760222
Publisher: Springer
Year: 1981
Tongue: English
Weight: 174 KB
Volume: 12
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf02483859

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Markov property for classes of nonli

The Markov property for classes of nonlinear parabolic equations

✍ Fabio Cipriani; Gabriele Grillo 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 302 KB

The multistep finite difference fraction

The multistep finite difference fractional steps method for a class of viscous wave equations

✍ Zhiyue Zhang 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 221 KB

In this paper, a new multistep finite difference fractional method applicable to parallel arithmetic for viscous wave equation is proposed. Some techniques, such as calculus of variations, multiplicative commutation rule of difference operators, decomposition of high-order difference operators and p

The local discontinuous Galerkin finite

The local discontinuous Galerkin finite element method for a class of convection–diffusion equations

✍ Wenjuan Wu; Xinlong Feng; Demin Liu 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 298 KB

Periodic problems for the Korteweg — de

Periodic problems for the Korteweg — de Vries equation in the class of finite band potentials

✍ B. A. Dubrovin 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 629 KB

Group Properties of 2–Submodels for the

Group Properties of 2–Submodels for the Evolutionary Class of Gas–Dynamic Equations

✍ E. V. Mamontov 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 148 KB

On the monotonicity property for a certa

On the monotonicity property for a certain class of second order differential equations

✍ Mariella Cecchi; Mauro Marini; Gabriele Villari 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 554 KB