𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some results on the deductive structure of join dependencies

✍ Scribed by Peter Dybjer

Publisher
Elsevier Science
Year
1984
Tongue
English
Weight
997 KB
Volume
33
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Some Results on the Structure of the Ο•-S
Some Results on the Structure of the Ο•-Spectrum
✍ Jerrold M. Gold πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 270 KB

## SOME RESULTS ON THE STRUCTURE O F THE y-SPECTRUM by JERROLD M. GOLD in Northridge, California (U.S.A.) ## 81. Preliminaries and definitions In this paper we prove a result about the relationship between measurable and definable cardinals and also a result on the spectrum of infinite cardinals

Note on the structure of joins
Note on the structure of joins
✍ Harm van der Lek πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science 🌐 English βš– 331 KB
Some continuous dependence results on th
Some continuous dependence results on the complex Ginzburg–Landau equation
✍ Yongfu Yang; Hongjun Gao πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 116 KB

## Abstract Continuous dependence on a modelling parameter are established for solutions to a problem for a complex Ginzburg–Landau equation. We establish continuous dependence on the coefficient of the cubic term, and also on the coefficient of the term multiplying the Laplacian. Copyright 2003 Jo

Some results on the complexity of exploi
Some results on the complexity of exploiting data dependency in parallel logic programs
✍ Arthur Delcher; Simon Kasif πŸ“‚ Article πŸ“… 1989 πŸ› Elsevier Science 🌐 English βš– 937 KB

We consider several problems related to maintaining and analyzing dataflow dependencies in AND-parallel execution of logic programs. Several problems related to optimal selection of literals for parallel execution are established to be intractable (NP-complete). Most importantly, we establish intrac