✦ LIBER ✦

Impossibility of an Algorithm for the Decision Problem in Finite Classesby B. A. Trahténbrot

✍ Scribed by Review by: Andrzej Mostowski

Book ID: 124958724
Publisher: Association for Symbolic Logic
Year: 1950
Tongue: English
Weight: 209 KB
Volume: 15
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2266840

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algorithm for determining the decisio

An algorithm for determining the decision thresholds in a distributed detection problem

✍ Tang, Z.-B.; Pattipati, K.R.; Kleinman, D.L. 📂 Article 📅 1991 🏛 Institute of Electrical and Electronics Engineers ⚖ 745 KB

An asymptotically exact algorithm for th

An asymptotically exact algorithm for the maximum traveling salesman problem in a finite-dimensional normed space

✍ V. V. Shenmaier 📂 Article 📅 2011 🏛 Pleiades Publishing 🌐 English ⚖ 474 KB

An algorithm for solving the eigenvalue

An algorithm for solving the eigenvalue problem for a class of operator pencils

✍ B. M. Podlevskii 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 233 KB

Properties of an algorithm for solving t

Properties of an algorithm for solving the inverse problem in radiation therapy

✍ Lind, B K 📂 Article 📅 1990 🏛 Institute of Physics 🌐 English ⚖ 736 KB

Generalized Finite Automata Theory with

Generalized Finite Automata Theory with an Application to a Decision Problem of Second-order Logic.by J. W. Thatcher; J. B. Wright

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

A relaxation method of an alternating it

A relaxation method of an alternating iterative algorithm for the Cauchy problem in linear isotropic elasticity

✍ Liviu Marin; B. Tomas Johansson 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 1010 KB

We propose two algorithms involving the relaxation of either the given Dirichlet data (boundary displacements) or the prescribed Neumann data (boundary tractions) on the over-specified boundary in the case of the alternating iterative algorithm of Kozlov et al. [16] applied to Cauchy problems in lin