✦ LIBER ✦

Residue calculus and effective Nullstellensatz

✍ Scribed by Berenstein, Carlos A.; Yger, Alain

Book ID: 118226195
Publisher: John Hopkins University Press
Year: 1999
Tongue: English
Weight: 571 KB
Volume: 121
Category: Article
ISSN: 0002-9327
DOI: 10.1353/ajm.1999.0026

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Powerset Residuated Algebras and General

Powerset Residuated Algebras and Generalized Lambek Calculus

✍ Miroslawa Kolowska-Gawiejnowicz 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 665 KB

## Abstract We prove a representation theorem for (abstract) residuated algebras: each residuated algebra is isomorphically embeddable into a powerset residuated algebra. As a consequence, we obtain a completeness theorem for the Generalized Lambek Calculus. We use a Labelled Deductive System which

A hybrid calculus for logicN*: residual

A hybrid calculus for logicN*: residual finiteness and decidability

✍ S. A. Drobyshevich 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 392 KB

The Residue Calculus and Some Transcende

The Residue Calculus and Some Transcendental Results in Algebraic Geometry, I

✍ Phillip A. Griffiths 📂 Article 📅 1966 🏛 National Academy of Sciences 🌐 English ⚖ 584 KB

The Residue Calculus and Some Transcende

The Residue Calculus and Some Transcendental Results in Algebraic Geometry, II

✍ Phillip A. Griffiths 📂 Article 📅 1966 🏛 National Academy of Sciences 🌐 English ⚖ 456 KB

An end-to-end stochastic network calculu

An end-to-end stochastic network calculus with effective bandwidth and effective capacity

✍ Angrishi, Kishore 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 538 KB

Effective data parallel computation usin

Effective data parallel computation using the Psi calculus

✍ Mullin, L.M.R.; Jenkins, M.A. 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 861 KB

Large scale scientific computing necessitates finding a way to match the high level understanding of how a problem can be solved with the details of its computation in a processing environment organized as networks of processors. Effective utilization of parallel architectures can then be achieved b