𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Ordered and partially ordered processing of multidimensional images

✍ Scribed by Aravena, J.; Porter, W.


Book ID
117906162
Publisher
IEEE
Year
1985
Weight
873 KB
Volume
33
Category
Article
ISSN
0096-3518

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Partial multidimensional inequality orde
✍ Jean-Yves Duclos; David E. Sahn; Stephen D. Younger πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 462 KB
PARTIALLY ORDERED CONNECTIVES
✍ Gabriel Sandu; Jouko VÀÀnΓ€nen πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 527 KB

## Abstract We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various

Finite Partially-Ordered Quantifiers
✍ Herbert B. Enderton πŸ“‚ Article πŸ“… 1970 πŸ› John Wiley and Sons 🌐 English βš– 264 KB

This is to be read "For every x there is a y and for every u there is a v (depending only on u) such that y ( x , y, u , w) ." The precise meaning of this can be given in terms of SKOLEM functions; the above formula is semantically equivalent to the second-order formula Such partially-ordered quant