𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Spectra of computable models for Ehrenfeucht theories

✍ Scribed by A. N. Gavryushkin

Publisher
Springer US
Year
2007
Tongue
English
Weight
195 KB
Volume
46
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computing intersections of Horn theories
Computing intersections of Horn theories for reasoning with models
✍ Thomas Eiter; Toshihide Ibaraki; Kazuhisa Makino πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 362 KB

Model-based reasoning has been proposed as an alternative form of representing and accessing logical knowledge bases. In this approach, a knowledge base is represented by a set of characteristic models. In this paper, we consider computational issues when combining logical knowledge bases, which are

An efficient method for the solution of
An efficient method for the solution of large computable general equilibrium models
✍ K.R. Pearson; Russell J. Rimmer πŸ“‚ Article πŸ“… 1985 πŸ› Elsevier Science 🌐 English βš– 611 KB

Economic models often involve large systems of linear equations which are sparsely populated with nonzero entries. The use of sparse solution packages to solve these models saves computer CPU time, and, more importantly, has the potential to conserve large portions of the research time of economic m

Computable error estimators for the appr
Computable error estimators for the approximation of nonlinear problems by linearized models
✍ Alexandra L. Chaillou; Manil Suri πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 321 KB

In the modeling of nonlinear phenomena, a nonlinear model may often be replaced by a linear one, giving rise to a modeling or linearization error. This is in addition to the discretization error introduced when this linear model is solved, using, e.g., the finite element method. We investigate the a

Puzzles for matrix models of chiral fiel
Puzzles for matrix models of chiral field theories
✍ K. Landsteiner; C.I. Lazaroiu; R. Tatar πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 99 KB

## Abstract We summarize the field‐theory/matrix model correspondence for a chiral 𝒩= 1 model with matter in the adjoint, antisymmetric and conjugate symmetric representations as well as eight fundamentals to cancel the chiral anomaly. The associated holomorphic matrix model is consistent only for