✦ LIBER ✦

A Decision Procedure for Computations of Finite Automataby Joyce Friedman

✍ Scribed by Review by: Robert McNaughton

Book ID: 124963235
Publisher: Association for Symbolic Logic
Year: 1965
Tongue: English
Weight: 295 KB
Volume: 30
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2270154

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Semi-Decision Procedure for the Functi

A Semi-Decision Procedure for the Functional Calculusby Joyce Friedman;A Computer Program for a Solvable Case of the Decision Problemby Joyce Friedman

✍ Review by: Frederic B. Fitch 📂 Article 📅 1964 🏛 Association for Symbolic Logic 🌐 English ⚖ 194 KB

A Decision Procedure Based on the Resolu

A Decision Procedure Based on the Resolution Method.by Bruce Kallick

✍ Review by: Joyce Friedman 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 86 KB

Decision procedures for elementary subla

Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae

✍ D. Cantone; A. Ferro; E. G. Omodeo 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 701 KB

Charge iteration: A procedure for the fi

Charge iteration: A procedure for the finite element computation of unbounded electrical fields

✍ G. Aiello; S. Alfonzetti; S. Coco 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 943 KB

A computational procedure for the implem

A computational procedure for the implementation of equivalent linearization in finite element analysis

✍ Emam, H. H.; Pradlwarter, H. J.; Schu�ller, G. I. 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 162 KB 👁 2 views

This paper deals with the practical implementation of the statistical equivalent linearization method (EQL) in conjunction with general FE-analysis to evaluate non-linear structural response under random excitation. A computational procedure is presented which requires the non-linear part of the sys

A computing procedure for the small indu

A computing procedure for the small inductive dimension of a finite\(\mathrm{T}_0\)-space

✍ Georgiou, Dimitris N.; Megaritis, Athanasios C.; Moshokoa, Seithuti P. 📂 Article 📅 2014 🏛 Springer-Verlag 🌐 English ⚖ 254 KB